Sciweavers

1884 search results - page 88 / 377
» Simple Algorithm for Simple Timed Games
Sort
View
113
Voted
HYBRID
2000
Springer
15 years 1 months ago
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
Joseph S. Miller
NAACL
1994
14 years 11 months ago
Techniques to Achieve an Accurate Real-Time Large-Vocabulary Speech Recognition System
In addressing the problem of achieving high-accuracy real-time speech recognition systems, we focus on recognizing speech from ARPA's20,000-word Wall Street Journal (WSJ) tas...
Hy Murveit, Peter Monaco, Vassilios Digalakis, Joh...
CODES
2000
IEEE
15 years 2 months ago
Task response time optimization using cost-based operation motion
We present a technique for task response time improvement based on the concept of code motion from the software domain. Relaxed Operation Motion (ROM) is a simple yet powerful app...
Bassam Tabbara, Abdallah Tabbara, Alberto L. Sangi...
ESCIENCE
2006
IEEE
15 years 4 months ago
Using Checkpointing to Enhance Turnaround Time on Institutional Desktop Grids
In this paper, we present a checkpoint-based scheme to improve the turnaround time of bag-of-tasks applications executed on institutional desktop grids. We propose to share checkp...
Patrício Domingues, Artur Andrzejak, Lu&iac...
83
Voted
IPPS
2007
IEEE
15 years 4 months ago
Parallel Tabu Search and the Multiobjective Vehicle Routing Problem with Time Windows
Abstract—In this paper the author presents three approaches to parallel Tabu Search, applied to several instances of the Capacitated Vehicle Routing Problem with Time Windows (CV...
Andreas Beham