Sciweavers

3809 search results - page 623 / 762
» Associative language descriptions
Sort
View
KR
2010
Springer
15 years 11 months ago
Status QIO: Conjunctive Query Entailment Is Decidable
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
Birte Glimm, Sebastian Rudolph
222
Voted
INTERACTION
2009
ACM
15 years 11 months ago
RoboEarth: connecting robots worldwide
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
Oliver Zweigle, René van de Molengraft, Raf...
FPL
2009
Springer
104views Hardware» more  FPL 2009»
15 years 11 months ago
A multi-layered XML schema and design tool for reusing and integrating FPGA IP
Reconfigurable computing systems remain difficult to use and program. One way to increase design productivity for these systems is through reuse of previously developed and veri...
Adam Arnesen, Nathan Rollins, Michael J. Wirthlin
193
Voted
PRIMA
2009
Springer
15 years 11 months ago
Participatory Simulation Environment gumonji/Q: A Network Game Empowered by Agents
Abstract. Network games are attracting attention as simulation platforms for social experiments because of their rich visualization performance and scalability. Our objective in th...
Shohei Yamane, Shoichi Sawada, Hiromitsu Hattori, ...
HYBRID
2001
Springer
15 years 11 months ago
Hybrid Modeling and Simulation of Biomolecular Networks
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
Rajeev Alur, Calin Belta, Franjo Ivancic