1271 search results - page 146 / 255 » On Simulation-Checking with Sequential Systems |
131
Voted
PPOPP
1991
ACM
15 years 4 months ago
1991
ACM
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...
89
Voted
AAAI
2008
15 years 2 months ago
2008
For many machine learning solutions to complex applications, there are significant performance advantages to decomposing the overall task into several simpler sequential stages, c...
WSC
2007
15 years 2 months ago
2007
A simulation-based methodology is proposed to map the mean of steady-state cycle time as a function of throughput and product mix for manufacturing systems. Nonlinear regression m...
96
Voted
WSC
2007
15 years 2 months ago
2007
The problem of path planning for Unmanned Aerial Vehicles (UAV) with a tracking mission, when some a priori information about the targets and the environment is available can in s...
143
Voted
AMDO
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents a general analysis framework towards exploiting the underlying hierarchical and scalable structure of an articulated object for pose estimation and tracking. Th...