4573 search results - page 863 / 915 » Automated Reasoning |
125
click to vote
CASCON
2003
15 years 1 months ago
2003
Any attempt at automated software analysis or modification must be preceded by a comprehension step, i.e. parsing. This task, while often considered straightforward, can in fact ...
IJCAI
2001
15 years 1 months ago
2001
One advantage of Case-Based Reasoning (CBR) is the relative ease of constructing and maintaining CBR systems, especially as a number of commercial CBR tools are available. However...
111
click to vote
ICMLA
2003
15 years 1 months ago
2003
– Discretization is a process of converting a continuous attribute into an attribute that contains small number of distinct values. One of the major reasons for discretizing an a...
WSC
2004
15 years 1 months ago
2004
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...
109
click to vote
AAAI
1997
15 years 1 months ago
1997
We address the problem of visually detecting causal events and tting them together into a coherent story of the action witnessed by the camera. We show that this can be done by re...