8555 search results - page 1691 / 1711 » Property Based Coordination |
ECOI
2010
13 years 6 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— Hitting and batting tasks, such as tennis forehands, ping-pong strokes, or baseball batting, depend on predictions where the ball can be intercepted and how it can prop...
IJBRA
2010
13 years 6 months ago
2010
—Cytochrome b561 (Cyt-b561) proteins play important functions in plants such as anti-toxin defense reactions, growth and development, and prevention of damage to plants from exce...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—Cloud computing is an emerging computing paradigm in which resources of the computing infrastructure are provided as services over the Internet. As promising as it is, this para...
JAIR
2010
13 years 6 months ago
2010
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...