2519 search results - page 388 / 504 » Reasoning with Textual Cases |
124
click to vote
AUSAI
2006
Springer
15 years 8 months ago
2006
Springer
Brittleness is a well-known problem in expert systems where a conclusion can be made, which human common sense would recognise as impossible e.g. that a male is pregnant. We have e...
142
click to vote
CVPR
2004
IEEE
15 years 8 months ago
2004
IEEE
In conventional tomography, the interior of an object is reconstructed from tomographic projections such as X-ray or electron microscope images. All the current reconstruction met...
148
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
131
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
160
Voted
EH
2004
IEEE
15 years 8 months ago
2004
IEEE
The use of Application Specific Instruction-set Processors (ASIP) in embedded systems is a solution to the problem of increasing complexity in the functions these systems have to ...