Sciweavers

13895 search results - page 458 / 2779
» Exploring
Sort
View
ROBOCUP
2005
Springer
108views Robotics» more  ROBOCUP 2005»
16 years 27 days ago
Successful Search and Rescue in Simulated Disaster Areas
RoboCupRescue Simulation is a large-scale multi-agent simulation of urban disasters where, in order to save lives and minimize damage, rescue teams must effectively cooperate despi...
Alexander Kleiner, Michael Brenner, Tobias Brä...
155
Voted
SPIN
2005
Springer
16 years 27 days ago
An Incremental Heap Canonicalization Algorithm
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
Madanlal Musuvathi, David L. Dill
213
Voted
GRAPHITE
2004
ACM
16 years 25 days ago
Object, function, action for tangible interface design
It is now possible to turn almost any object into an interface. What one must do, however is to explore the user’s needs and perceptions in order to create the metaphors necessa...
Marissa Díaz, Isaac Rudomín
ITS
2004
Springer
139views Multimedia» more  ITS 2004»
16 years 23 days ago
CycleTalk: Toward a Dialogue Agent That Guides Design with an Articulate Simulator
Abstract. We discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a design context. Our current research focuses on the hypothesis tha...
Carolyn Penstein Rosé, Cristen Torrey, Vinc...
VLDB
2004
ACM
143views Database» more  VLDB 2004»
16 years 22 days ago
GPX: Interactive Mining of Gene Expression Data
Discovering co-expressed genes and coherent expression patterns in gene expression data is an important data analysis task in bioinformatics research and biomedical applications. ...
Daxin Jiang, Jian Pei, Aidong Zhang