Sciweavers

3061 search results - page 389 / 613
» interactions 2010
Sort
View
ER
2010
Springer
144views Database» more  ER 2010»
15 years 5 months ago
Building Dynamic Models of Service Compositions with Simulation of Provision Resources
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
Dragan Ivanovic, Martin Treiber, Manuel Carro, Sch...
ENTCS
2008
97views more  ENTCS 2008»
15 years 5 months ago
Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
Li Su, Howard Bowman, Philip Barnard
FSS
2010
112views more  FSS 2010»
15 years 5 months ago
Fuzzy sets and geometric logic
H¨ohle has identified fuzzy sets, valued in a frame (complete Heyting algebra) Ω, with certain sheaves over Ω: the subsheaves of constant sheaves More general sheaves can be...
Steven Vickers
ICRA
2010
IEEE
142views Robotics» more  ICRA 2010»
15 years 5 months ago
"Architectural Robotics": An interdisciplinary course rethinking the machines we live in
Abstract— We discuss disciplinary barriers which have traditionally prevented robotics from significantly impacting the built (architectural) environment we inhabit. Specifical...
Apoorva Kapadia, Ian D. Walker, Keith Evan Green, ...
ICRA
2010
IEEE
122views Robotics» more  ICRA 2010»
15 years 5 months ago
Probabilistic collision state checker for crowded environments
Abstract— For path planning algorithms of robots it is important that the robot does not reach a state of inevitable collision. In crowded environments with many humans or robots...
Daniel Althoff, Matthias Althoff, Dirk Wollherr, M...