8 search results - page 1 / 2 » Modular Algorithms for Heterogeneous Modal Logics |
113
Voted
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
123
Voted
AROBOTS
2000
15 years 29 days ago
2000
In this article, we present the design of a team of heterogeneous, centimeter-scale robots that collaborate to map and explore unknown environments. The robots, called Millibots, a...
124
Voted
MST
2011
14 years 8 months ago
2011
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
98
Voted
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...
134
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...