1941 search results - page 230 / 389 » Reasoning about Computations Using Two-Levels of Logic |
145
click to vote
BIBE
2003
IEEE
15 years 9 months ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...
165
click to vote
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
133
click to vote
ICCBR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Retrieval of structured cases using similarity has been studied in CBR but there has been less activity on defining similarity on description logics (DL). In this paper w...
140
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
— Our paper presents a fully automated computational mechanism for targeting a space-variant retina based on the highlevel visual content of a scene. Our retina’s receptive fie...
121
click to vote
ICCBR
1995
Springer
15 years 7 months ago
1995
Springer
The particular strength of CBR is normally considered to be its use in weak theory domains where solution quality is compiled into cases and is reusable. In this paper we explore a...