Sciweavers

213 search results - page 14 / 43
» Using Spatial Language in Multi-Modal Knowledge Capture
Sort
View
CP
2003
Springer
15 years 2 months ago
Using Case-Based Reasoning to Write Constraint Programs
Abstract. Constraint programming offers powerful problem solving capabilities, but experienced and skilled developers are needed to maximise the benefits it offers. We introduce...
James Little, Cormac Gebruers, Derek G. Bridge, Eu...
ISWC
2002
IEEE
15 years 2 months ago
Using Wearable Computers to Construct Semantic Representations of Physical Spaces
The representation of physical space has traditionally focused on keyphrases such as “Computer Science Building” or “Physics Department” that help us in describing and nav...
Fernando Diaz
KCAP
2005
ACM
15 years 3 months ago
Indirect anaphora resolution as semantic path search
Anaphora occur commonly in natural language text, and resolving them is essential for capturing the knowledge encoded in text. Indirect anaphora are especially challenging to reso...
James Fan, Ken Barker, Bruce W. Porter
LFCS
2007
Springer
15 years 3 months ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
ATAL
2009
Springer
15 years 4 months ago
Adversarial search with procedural knowledge heuristic
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...
Viliam Lisý, Branislav Bosanský, Mic...