Sciweavers

2638 search results - page 304 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
EKAW
2000
Springer
15 years 10 months ago
Construction and Deployment of a Plant Ontology
Although the necessity of an ontology and ontological engineering is well-understood, there has been few success stories about ontology construction and its deployment to date. Thi...
Riichiro Mizoguchi, Kouji Kozaki, Toshinobu Sano, ...
CLIMA
2007
15 years 8 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas
AIRS
2009
Springer
15 years 10 months ago
Enabling Effective User Interactions in Content-Based Image Retrieval
Abstract. This paper presents an interactive content-based image retrieval framework--uInteract, for delivering a novel four-factor user interaction model visually. The four-factor...
Haiming Liu 0002, Srdan Zagorac, Victoria S. Uren,...
ATAL
2008
Springer
15 years 8 months ago
Coordination in ambiguity: coordinated active localization for multiple robots
In environments which possess relatively few features that enable a robot to unambiguously determine its location, global localization algorithms can result in multiple hypotheses...
Shivudu Bhuvanagiri, K. Madhava Krishna, Supreeth ...
ENTCS
2006
168views more  ENTCS 2006»
15 years 6 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...