Sciweavers

875 search results - page 95 / 175
» Reasoning about Knowledge and Continuity
Sort
View
LISP
2007
98views more  LISP 2007»
15 years 6 months ago
A static simulation of dynamic delimited control
We present a continuation-passing-style (CPS) transformation for some dynamic delimited-control operators, including Felleisen’s control and prompt, that extends a standard call-...
Chung-chieh Shan
ECAI
2008
Springer
15 years 8 months ago
Salience-driven Contextual Priming of Speech Recognition for Human-Robot Interaction
Abstract. The paper presents an implemented model for priming speech recognition, using contextual information about salient entities. The underlying hypothesis is that, in human-r...
Pierre Lison, Geert-Jan M. Kruijff
SEMWEB
2005
Springer
16 years 8 days ago
Modeling Degrees of Conceptual Overlap in Semantic Web Ontologies
Information retrieval systems have to deal with uncertain knowledge and query results should reflect this uncertainty in some manner. However, Semantic Web ontologies are based on...
Markus Holi, Eero Hyvönen
AMKM
2003
Springer
16 years 1 days ago
A Spreading Activation Framework for Ontology-Enhanced Adaptive Information Access within Organisations
This research investigates a unique Indexing Structure and Navigational Interface which integrates (1) ontology-driven knowledge-base (2) statistically derived indexing parameters...
Md Maruf Hasan
AGILEDC
2005
IEEE
16 years 13 days ago
Agile Metrics at the Israeli Air Force
It is a significant challenge to implement and research agile software development methods in organizations such as the army. Since it differs from organizations in the industry a...
Yael Dubinsky, David Talby, Orit Hazzan, Arie Kere...