3979 search results - page 388 / 796 » Wild control operators |
176
click to vote
TACAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
186
click to vote
GECCO
2003
Springer
16 years 1 days ago
2003
Springer
We describe the first instance of an approach for control programming of humanoid robots, based on evolution as the main adaptation mechanism. In an attempt to overcome some of th...
172
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
As in traditional commerce, parties to a contract in ebusiness environments are expected to operate in good faith and comply with mutually agreed terms of contract. It may be the ...
175
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—Many applications require continuous monitoring of a moving target by a controllable vision system. Although the goal of tracking objects is not new, traditional techniq...
210
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Java mirror objects are building blocks for integrating web-based with high performance applications. This paper demonstrates the utility of mirror objects for construction of rem...