1650 search results - page 182 / 330 » The HOM problem is decidable |
126
click to vote
COLING
2002
15 years 4 months ago
2002
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describingclosed-world authoring situations...
107
click to vote
MT
2000
15 years 4 months ago
2000
Spoken language, especially spoken German, is rich in particles that do not contribute to the propositional content of utterances, but play important roles in steering the flow of ...
122
click to vote
AROBOTS
1999
15 years 4 months ago
1999
Excavators are used for the rapid removal of soil and other materials in mines, quarries, and construction sites. The automation of these machines offers promise for increasing pro...
165
Voted
IPL
2002
15 years 4 months ago
2002
Inspired by recent algorithms for electing a leader in a distributed system, we study the following game in a directed graph: each vertex selects one of its outgoing arcs (if any)...
177
click to vote
ICSOC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Service-based systems should be able to dynamically seek replacements for faulty or underperforming services, thus performing self-healing. It may however be the case tha...