Sciweavers

5799 search results - page 446 / 1160
» Position Paper
Sort
View
TAMC
2009
Springer
16 years 1 months ago
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata
Priced Probabilistic Timed Automata (PPTA) extend timed automata with cost-rates in locations and discrete probabilistic branching. The model is a natural combination of Priced Tim...
Jasper Berendsen, Taolue Chen, David N. Jansen
UM
2009
Springer
16 years 1 months ago
Assessing the Impact of Measurement Uncertainty on User Models in Spatial Domains
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
Daniel F. Schmidt, Ingrid Zukerman, David W. Albre...
SIGIR
2009
ACM
16 years 1 months ago
Two-stage query segmentation for information retrieval
Modeling term dependence has been shown to have a significant positive impact on retrieval. Current models, however, use sequential term dependencies, leading to an increased que...
Michael Bendersky, W. Bruce Croft, David A. Smith
EVOW
2010
Springer
16 years 1 months ago
Evolving Individual Behavior in a Multi-agent Traffic Simulator
Abstract. In this paper, we illustrate the use of evolutionary agents in a multiagent system designed to describe the behavior of car drivers. Each agent has the selfish objective ...
Ernesto Sánchez, Giovanni Squillero, Albert...
128
Voted
CDC
2008
IEEE
16 years 1 months ago
The vanishing approach for the average continuous control of piecewise deterministic Markov processes
Abstract— This paper deals with the long run average continuous control problem of piecewise deterministic Markov processes (PDMP‘s) taking values in a general Borel space and ...
Oswaldo Luiz V. Costa, Francois Dufour