924 search results - page 46 / 185 » Community systems research at Yahoo! |
PLPV
2010
ACM
14 years 11 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
BMCBI
2007
14 years 9 months ago
2007
Background: Cellular processes depend on the function of intracellular molecular networks. The curation of the literature relevant to specific biological pathways is important for...
AAAI
2012
13 years 4 days ago
2012
We are developing a testbed for learning by demonstration combining spoken language and sensor data in a natural real-world environment. Microsoft Kinect RGBDepth cameras allow us...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
We present a taxonomy automatically generated from the system of categories in Wikipedia. Categories in the resource are identified as either classes or instances and included in a...
SIGOPS
2002
14 years 9 months ago
2002
Abstract - Active Networking is a new technology receiving significant attention from the research community. To this point, however, it has not been examined from the perspective...