859 search results - page 168 / 172 » Abduction in Temporal Reasoning |
BIRTHDAY
2003
Springer
14 years 25 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
FGR
2000
IEEE
14 years 23 hour ago
2000
IEEE
We present a generic and robust method for model-based global 3D head pose estimation in monocular and non-calibrated video sequences. The proposed method relies on a 3D/2D matchi...
RTCSA
2000
IEEE
13 years 12 months ago
2000
IEEE
A number of industrial applications advocate the use of time-triggered approaches for reasons of predictability, distribution, and particular constraints such as jitter or end-to-...
KBSE
1999
IEEE
13 years 12 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
ASPLOS
1998
ACM
13 years 12 months ago
1998
ACM
Advances in VLSI technology will enable chips with over a billion transistors within the next decade. Unfortunately, the centralized-resource architectures of modern microprocesso...