2904 search results - page 355 / 581 » Number Forms in the Brain |
169
click to vote
SAT
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
171
click to vote
SEMWEB
2005
Springer
16 years 7 days ago
2005
Springer
Situation awareness involves the identification and monitoring of relationships among objects participating in an evolving situation. This problem in general is intractable (i.e.,...
161
click to vote
TARK
2005
Springer
16 years 7 days ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
172
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
Multi-join queries are the core of any integration service that integrates data from multiple distributed data sources. Due to the large number of data sources and possibly high v...
249
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
As increasing amount of data is published in the form of XML, copyright protection of XML data is becoming an important requirement for many applications. While digital watermarki...