375 search results - page 41 / 75 » Declarative Reasoning about the Structure of Object-Oriented... |
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
ENTCS
2006
13 years 9 months ago
2006
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
User-defined preferences allow personalized ranking of query results. A user provides a declarative specification of his/her preferences, and the system is expected to use that ...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
BMCBI
2010
13 years 9 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...