487 search results - page 3 / 98 » Toward the Integration of Exploration and Modeling in a Plan... |
INFORMATICALT
2007
13 years 5 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
ESWS
2007
Springer
13 years 9 months ago
2007
Springer
This proposal explores a unified framework to solve Semantic Web tasks that often require similarity measures, such as RDF retrieval, ontology alignment, and semantic service match...
AGILE
2009
Springer
2009
Springer
Enhancing 3D City Models with Heterogeneous Spatial Information: Towards 3D Land Information Systems
14 years 11 days ago
Spatial and georeferenced information plays an important role in urban land management processes such as spatial planning and environmental management. As many of the processes ar...
AIPS
2006
13 years 7 months ago
2006
In this paper, we present a motion planning framework for a fully deployed autonomous unmanned aerial vehicle which integrates two sample-based motion planning techniques, Probabi...
WISES
2004
13 years 7 months ago
2004
-- In this paper a Rapid Prototyping Framework and next steps towards the support for interactive Architecture Exploration based on the SPEAR processor core (Scalable Processor for...