875 search results - page 95 / 175 » Reasoning about Knowledge and Continuity |
LISP
2007
14 years 9 months ago
2007
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-...
107
click to vote
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
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...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
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...
AMKM
2003
Springer
15 years 3 months ago
2003
Springer
This research investigates a unique Indexing Structure and Navigational Interface which integrates (1) ontology-driven knowledge-base (2) statistically derived indexing parameters...
AGILEDC
2005
IEEE
15 years 3 months ago
2005
IEEE
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...