7991 search results - page 59 / 1599 » Using More Reasoning to Improve |
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
AAAI
1996
15 years 1 months ago
1996
of it suffer from a number of limitations, including: The effectiveness of an analogical reasoner depends upon its ability to select a relevant analogical source. In many problem d...
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...