The Internet of Things (IoT) concept proposes that everyday objects are globally accessible from the Internet and integrate into new services having a remarkable impact on our society. Opposite to Internet world, things usually belong to resource-challenged environmentswhere energy, data throughput, and computing resources are scarce. Building upon existing standards in the field such as IEEE14...

But it is beyond the power of human capacity to frame and retain distinct ideas of all the particular things we meet with: every bird and beast men saw; every tree and plant that affected the senses, could not find a place in the most capacious understanding. During the Middle Ages, much of the debate about universals concerned the question whether or not they could be considered to " exist ". ...

This chapter describes an experimental computer program that deduces the meaning of novel verbs from the context of story descriptions. The key idea is a variation on Winston's (Winston, 1975) program that learned the structural descriptions of block world scenes. Instead of learning descriptions of toy block assemblies like ARCH and TOWER, the word-learning program acquires frame-based descrip...

We describe a new image co-addition tool, AWAIC, to support the creation of a digital Image Atlas from the multiple frame exposures acquired with the Wide-field Infrared Survey Explorer (WISE). AWAIC includes preparatory steps such as frame background matching and outlier detection using robust frame-stack statistics. Frame co-addition is based on using the detector’s Point Response Function (P...

This paper describes a versatile, robust, and parametric ball animation model that can be used in many types of interactive Virtual Reality (VR) environments. The generic model is particularly useful for animation of ball-like objects such as tennis balls, footballs, or darts, and for networked collaborative environments where low frame rates, network delays and information losses complicate co...

Kernel Correlation Filters have shown a very promising scheme for visual tracking in terms of speed and accuracy on several benchmarks. However it suffers from problems that affect its performance like occlusion, rotation and scale change. This paper tries to tackle the problem of rotation by reformulating the optimization problem for learning the correlation filter. This modification (RKCF) in...

In Mycobacterium tuberculosis, signal transduction is mediated by 11 serine/threonine kinases, but no tyrosine kinases have been identified thus far. The protein encoded by the ORF (open reading frame) Rv2232 has been annotated as a member of the HAD (haloacid dehydrogenase-like hydrolase) superfamily, which includes phosphatases, phosphomanno- and phosphogluco-mutases, and haloacid dehydrogena...

An object-oriented approach has been applied to the different stages involved in developing a knowledge base about insulin metabolism. At an early stage the separation of terminological and assertional knowledge was made. The terminological component was developed by medical experts and represented in CORE. An object-oriented knowledge acquisition process was applied to the assertional knowledg...

Co-designing software or hardware systems and their formal proofs is an appealing idea, with the expectation that the rigor enforced by formal methods will percolate the whole design. In practice however, carrying out formal proofs while designing even a relatively simple system can be an exercise in frustration, with a great deal of time spent attempting to prove things about broken definition...