Sciweavers

652 search results - page 94 / 131
» Optimization problems involving collections of dependent obj...
Sort
View
ENTCS
2000
114views more  ENTCS 2000»
13 years 8 months ago
Syntactic Type Soundness for the Region Calculus
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...
Simon Helsen, Peter Thiemann
SEMWEB
2005
Springer
14 years 2 months ago
An Application of Semantic Web Technologies to Situation Awareness
Situation awareness involves the identification and monitoring of relationships among objects participating in an evolving situation. This problem in general is intractable (i.e.,...
Christopher J. Matheus, Mieczyslaw M. Kokar, Kenne...
INTERACT
2003
13 years 10 months ago
Improving Usability of E-Commerce Sites by Tracking Eye Movements
: Usability evaluation techniques such as user-observations, cognitive walkthroughs, or heuristic evaluations can be applied to evaluate the usability of multimedia interfaces of c...
Ekaterini Tzanidou
IJSYSC
2006
92views more  IJSYSC 2006»
13 years 8 months ago
Adaptive control of distributed collector solar fields
: Distributed collector solar fields are spatially distributed engineering systems which aim at collecting and storing energy from solar radiation. They are formed by mirrors which...
J. M. Lemos
ICRA
2009
IEEE
98views Robotics» more  ICRA 2009»
14 years 3 months ago
Multi-robot routing with linear decreasing rewards over time
Abstract— We study multi-robot routing problems (MRLDR) where a team of robots has to visit a set of given targets with linear decreasing rewards over time, such as required for ...
Ali Ekici, Pinar Keskinocak, Sven Koenig