3970 search results - page 737 / 794 » A Logic For Causal Reasoning |
DAGM
2006
Springer
14 years 16 days ago
2006
Springer
This paper presents a practical system for vision-based traffic scene analysis from a moving vehicle based on a cognitive feedback loop which integrates real-time geometry estimati...
DAMON
2006
Springer
14 years 16 days ago
2006
Springer
The goal of this work is to gain insight into whether processingin-memory (PIM) technology can be used to accelerate the performance of link discovery algorithms, which represent ...
EMSOFT
2006
Springer
14 years 16 days ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
FM
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
AINA
2003
IEEE
14 years 15 days ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...