5356 search results - page 743 / 1072 » Adventures in time and space |
205
Voted
KBSE
2005
IEEE
16 years 9 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
151
click to vote
APPROX
2005
Springer
16 years 8 days ago
2005
Springer
Traditionally, a fundamental assumption in evaluating the performance of algorithms for sorting and selection has been that comparing any two elements costs one unit (of time, work...
184
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
Agents or agent teams deployed to assist humans often face the challenges of monitoring the state of key processes in their environment (including the state of their human users t...
194
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
Assume a coevolutionary algorithm capable of storing and utilizing all phenotypes discovered during its operation, for as long as it operates on a problem; that is, assume an algo...
150
Voted
OTM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...