Search Sciweavers | Sciweavers

1420 search results - page 6 / 284

» Multi-point Constructive Search

click to vote

TABLEAUX
2009
Springer

233views Artificial Intelligence» more TABLEAUX 2009»

Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents

13 years 12 months ago

Download www.cs.ioc.ee

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...

Luis Pinto, Tarmo Uustalu

claim paper

Read More »

click to vote

SASO
2007
IEEE

114views Control Systems» more SASO 2007»

Robot Search in 3D Swarm Construction

14 years 1 months ago

Download hebb.mit.edu

Robots in a swarm construction system need to be able to ﬁnd their way to all potential places to add material to a structure. In two dimensions, a (trivial) procedure exists fo...

Justin Werfel

claim paper

Read More »

click to vote

IJAIT
2002

81views more IJAIT 2002»

Guiding Constructive Search with Statistical Instance-Based Learning

13 years 7 months ago

Download homepages.cwi.nl

Several real world applications involve solving combinatorial optimization problems. Commonly, existing heuristic approaches are designed to address specific difficulties of the u...

Orestis Telelis, Panagiotis Stamatopoulos

claim paper

Read More »

click to vote

SP
2006
IEEE

74views Security Privacy» more SP 2006»

New Constructions and Practical Applications for Private Stream Searching (Extended Abstract)

14 years 1 months ago

Download www.cs.berkeley.edu

John Bethencourt, Dawn Xiaodong Song, Brent Waters

claim paper

Read More »