3510 search results - page 280 / 702 » Searching with numbers |
171
click to vote
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
We give faster algorithms for two methods of reducing the number of states in nondeterministic finite automata. The first uses equivalences and the second uses preorders. We deve...
143
click to vote
CP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
176
click to vote
PPSN
2004
Springer
16 years 3 days ago
2004
Springer
Adaptive multiagent algorithms based upon the behaviour of social insects are powerful decentralised systems capable of solving complex problems. The intelligence of such a system ...
137
click to vote
COMPSAC
2003
IEEE
16 years 1 days ago
2003
IEEE
One of the important tasks during software testing is the generation of test cases. Various approaches have been proposed to automate this task. The approaches available, however,...
198
click to vote
SAC
2003
ACM
16 years 11 hour ago
2003
ACM
DICE (DIstributed Constraint Environment) is a framework for the construction of distributed constraint solvers from software components in a number of predefined categories. The...