Sciweavers

12459 search results - page 229 / 2492
» cans 2006
Sort
View
JLP
2000
140views more  JLP 2000»
15 years 6 months ago
An abductive event calculus planner
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
Murray Shanahan
PC
2000
93views Management» more  PC 2000»
15 years 6 months ago
Scheduling outtrees of height one in the LogP model
The LogP model is a model of parallel computation that characterises a parallel computer system by four parameters: the latency L, the overhead o, the gap g and the number of proc...
Jacques Verriet
IJRR
2006
116views more  IJRR 2006»
15 years 6 months ago
Scaling Hard Vertical Surfaces with Compliant Microspine Arrays
A new approach for climbing hard vertical surfaces has been developed that allows a robot to scale concrete, stucco, brick and masonry walls without using suction or adhesives. The...
Alan T. Asbeck, Sangbae Kim, Mark R. Cutkosky, Wil...
IPM
2006
77views more  IPM 2006»
15 years 6 months ago
A general matrix framework for modelling Information Retrieval
Content-oriented retrieval models are based on a document-term matrix, whereas link-oriented retrieval models are based on an adjacent (parentchild) matrix. Term frequency and inv...
Thomas Rölleke, Theodora Tsikrika, Gabriella ...
ITSSA
2006
90views more  ITSSA 2006»
15 years 6 months ago
The UbiMedic Framework to Support Medical Emergencies by Ubiquitous Computing
: This paper investigates the feasibility of employing the Software Agent technology in the highly dynamic and variable context of healthcare emergency coordination and decision-su...
Francesco De Mola, Giacomo Cabri, Nicola Muratori,...