Sciweavers

3864 search results - page 34 / 773
» time 2005
Sort
View
63
Voted
AI
2005
Springer
15 years 3 months ago
Real-Time Decision Making for Large POMDPs
Abstract. In this paper, we introduce an approach called RTBSS (RealTime Belief Space Search) for real-time decision making in large POMDPs. The approach is based on a look-ahead s...
Sébastien Paquet, Ludovic Tobin, Brahim Cha...
ICECCS
2005
IEEE
73views Hardware» more  ICECCS 2005»
15 years 3 months ago
Integrating Object-Z with Timed Automata
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
Jin Song Dong, Roger Duke, Ping Hao
ICCS
2005
Springer
15 years 3 months ago
Multiscale Interpolation, Backward in Time Error Analysis for Data-Driven Contaminant Simulation
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...
Craig C. Douglas, Yalchin Efendiev, Richard E. Ewi...
ICIAP
2005
ACM
15 years 9 months ago
Qualitative Real-Time Range Extraction for Preplanned Scene Partitioning Using Laser Beam Coding
This paper proposes a novel technique to extract range using a phase-only filter for a laser beam. The workspace is partitioned according to M meaningful preplanned range segments...
Didi Sazbon, Zeev Zalevsky, Ehud Rivlin
ICSM
2005
IEEE
15 years 3 months ago
Reducing Build Time through Precompilations for Evolving Large Software
Large-scale legacy programs take long time to compile, thereby hampering productivity. This paper presents algorithms that reduce compilation time by analyzing syntactic dependenc...
Yijun Yu, Homayoun Dayani-Fard, John Mylopoulos, P...