1426 search results - page 190 / 286 » Specification of nonmonotonic reasoning |
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
This work exploits the idea that each individual brain region has a specific connection profile to create parcellations of the cortical surface using MR diffusion imaging. The par...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
As opposed to representing a document as a "bag of words" in most information retrieval applications, we propose a model of representing a web page as sets of named enti...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...
168
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
182
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...