1420 search results - page 6 / 284 » Multi-point Constructive Search |
151
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
139
Voted
SASO
2007
IEEE
15 years 8 months ago
2007
IEEE
Robots in a swarm construction system need to be able to find their way to all potential places to add material to a structure. In two dimensions, a (trivial) procedure exists fo...
122
Voted
IJAIT
2002
15 years 2 months ago
2002
Several real world applications involve solving combinatorial optimization problems. Commonly, existing heuristic approaches are designed to address specific difficulties of the u...
110
Voted
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
DOLAP
2004
ACM
15 years 8 months ago
2004
ACM