674 search results - page 57 / 135 » From Constructibility and Absoluteness to Computability and ... |
177
click to vote
AAAI
1996
15 years 7 months ago
1996
To explain complex phenomena, an explanation system must be able to select information from a formal representation of domain knowledge, organize the selected information into mul...
177
click to vote
AIME
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
170
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
There is an increasing research interest in system level design languages which can carry designers from specification to implementation of system-on-a-chip. Unfortunately, two of...
157
click to vote
TCS
2010
15 years 4 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
155
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
: Significant progress has been made by the computer vision community in recent years along two fronts: (i) developing complex spatial-temporal models for object registration and t...