586 search results - page 61 / 118 » Automated Reasoning on Aspects Interactions |
ICCBR
1995
Springer
14 years 16 days 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...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Infinite-state automata are a new invention: they are automata that have an infinite number of states represented by words, transitions defined using rewriting, and with sets of in...
EWCBR
2008
Springer
13 years 10 months ago
2008
Springer
Conventional approaches to similarity search and case-based retrieval, such as nearest neighbor search, require the specification of a global similarity measure which is typically ...
GIS
2008
ACM
13 years 9 months ago
2008
ACM
SRTM data is distributed at horizontal resolution of 30 meters for areas within the U.S.A. and at 90 meters resolution for the rest of the world. A resolution of 90m can be conside...
CL
2007
Springer
13 years 9 months ago
2007
Springer
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel sem...