5326 search results - page 198 / 1066 » On what we can ensure |
178
click to vote
CP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
180
click to vote
AAAI
2004
15 years 8 months ago
2004
A binary constraint network is tree convex if we can construct a tree for the domain of the variables so that for any constraint, no matter what value one variable takes, all the ...
194
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
184
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In many cases, rather than a keyword search, people intend to see what is going on through the Internet. Then the integrated comprehensive information on news topics is necessary,...
175
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...