Sciweavers

8413 search results - page 439 / 1683
» Ordering Problem Subgoals
Sort
View
AROBOTS
2005
100views more  AROBOTS 2005»
15 years 6 months ago
A Sampling-Based Motion Planning Approach to Maintain Visibility of Unpredictable Targets
This paper deals with the surveillance problem of computing the motions of one or more robot observers in order to maintain visibility of one or several moving targets. The target...
Rafael Murrieta-Cid, Benjamín Tovar, Seth H...
TOCL
2008
102views more  TOCL 2008»
15 years 6 months ago
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying
Cryptographic protocols with single blind copying were defined and modeled by Comon and Cortier using the new class C of first order clauses, which extends the Skolem class. They s...
Helmut Seidl, Kumar Neeraj Verma
JDWM
2007
90views more  JDWM 2007»
15 years 6 months ago
Mining for Mutually Exclusive Items in Transaction Databases
Association rule mining is a popular task that involves the discovery of co-occurences of items in transaction databases. Several extensions of the traditional association rule mi...
George Tzanis, Christos Berberidis
JSAC
2007
155views more  JSAC 2007»
15 years 6 months ago
Semantic social overlay networks
— Peer selection for query routing is a core task in peer-to-peer networks. Unstructured peer-to-peer systems (like Gnutella) ignore this problem, leading to an abundance of netw...
Alexander Löser, Steffen Staab, Christoph Tem...
COGSCI
2004
80views more  COGSCI 2004»
15 years 6 months ago
Reinstatement, floating conclusions, and the credulity of Mental Model reasoning
Johnson-Laird and coworkers' Mental Model theory of propositional reasoning is shown to be somewhere in between what logicians have defined as "credulous" and "...
Jean-François Bonnefon