7167 search results - page 862 / 1434 » Answer Set Programming |
140
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
142
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a complete system for reading typewritten lexicon words in noisy images - in this case museum index cards. The system is conceptually simple, and straightforw...
149
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct co...
165
Voted
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Context-aware computing involves the automatic tailoring of information and services based on the current location of the user. In this paper, we describe our experience ...
157
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a program of research designed to understand how knowledge-sharing and learning can be supported in virtual communities. To conduct this research, we propose ...