Sciweavers

14709 search results - page 2352 / 2942
» Semantic feature modelling
Sort
View
219
Voted
AIPS
2008
15 years 9 months ago
A Temporal Logic-Based Planning and Execution Monitoring System
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
Jonas Kvarnström, Fredrik Heintz, Patrick Doh...
207
Voted
AVI
2008
15 years 9 months ago
MedioVis: visual information seeking in digital libraries
MedioVis is a visual information seeking system that aims to support users' natural seeking behavior, particularly in complex information spaces. To achieve this goal we intr...
Mathias Heilig, Mischa Demarmels, Werner A. Kö...
220
Voted
ATAL
2008
Springer
15 years 9 months ago
Belief operations for motivated BDI agents
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
Patrick Krümpelmann, Matthias Thimm, Manuela ...
218
Voted
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
15 years 9 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
CIKM
2008
Springer
15 years 9 months ago
MashQL: a query-by-diagram topping SPARQL
This article is motivated by the importance of building web data mashups. Building on the remarkable success of Web 2.0 mashups, and specially Yahoo Pipes, we generalize the idea ...
Mustafa Jarrar, Marios D. Dikaiakos
« Prev « First page 2352 / 2942 Last » Next »