1420 search results - page 6 / 284 » Multi-point Constructive Search |
208
click to vote
TABLEAUX
2009
Springer
15 years 11 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...
191
click to vote
SASO
2007
IEEE
16 years 28 days 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...
177
click to vote
IJAIT
2002
15 years 6 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...
102
Voted
DOLAP
2004
ACM
16 years 3 days ago
2004
ACM