179 search results - page 30 / 36 » Deadline-Constrained Causal Order |
IJCSA
2006
13 years 8 months ago
2006
The philosophy literature has been struggling with the problem of defining causality. There has been extensive discussion about it. Hume taught that talk of causation was metaphys...
BC
1998
13 years 8 months ago
1998
Abstract. In a stereoscopic system, both eyes or cameras have a slightly dierent view. As a consequence, small variations between the projected images exist (`disparities') ...
TSE
1998
13 years 8 months ago
1998
—Process studies and improvement efforts typically call for new instrumentation on the process in order to collect the data they have deemed necessary. This can be intrusive and ...
CORR
2011
Springer
13 years 16 days ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...