Sciweavers

9730 search results - page 1630 / 1946
» Relating models of backtracking
Sort
View
ICALP
2010
Springer
15 years 11 months ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
KESAMSTA
2010
Springer
15 years 11 months ago
Symmetry Approach to Evacuation Scenarios
The first trial of using the symmetry analysis method in modeling of behavior of complex social system is presented in this work. The evacuation of large building scenarios are d...
Wieslawa Sikora, Janusz Malinowski
MDM
2010
Springer
209views Communications» more  MDM 2010»
15 years 11 months ago
An Interactive-Voting Based Map Matching Algorithm
—Matching a raw GPS trajectory to roads on a digital map is often referred to as the Map Matching problem. However, the occurrence of the low-sampling-rate trajectories (e.g. one...
Jing Yuan, Yu Zheng, Chengyang Zhang, Xing Xie, Gu...
CDC
2009
IEEE
169views Control Systems» more  CDC 2009»
15 years 11 months ago
Parametric regret in uncertain Markov decision processes
— We consider decision making in a Markovian setup where the reward parameters are not known in advance. Our performance criterion is the gap between the performance of the best ...
Huan Xu, Shie Mannor
171
Voted
CHI
2009
ACM
15 years 11 months ago
Supporting content and process common ground in computer-supported teamwork
We build on our prior work with computer-supported teams performing a complex decision-making task on maps, where the distinction between content and process common ground is prop...
Gregorio Convertino, Helena M. Mentis, Mary Beth R...
« Prev « First page 1630 / 1946 Last » Next »