120 search results - page 14 / 24 » First Order Logic with Domain Conditions |
IJCAI
2003
13 years 10 months ago
2003
Motivated by the matchmaking problem in electronic marketplaces, we study abduction in Description Logics. We devise suitable definitions of the problem, and show how they can mod...
MICRO
2000
IEEE
14 years 5 days ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
SICHERHEIT
2010
13 years 6 months ago
2010
: This paper presents a fuzzy set based decision support model for taking uncertainty into account when making security investment decisions for distributed systems. The proposed m...
FOIS
2006
13 years 10 months ago
2006
Abstract. Across a wide range of domains, there is an urgent need for a wellfounded approach to incorporating uncertain and incomplete knowledge into formal domain ontologies. Alth...
ACCV
2009
Springer
14 years 3 months ago
2009
Springer
In real world, a scene is composed by many characteristics. Intrinsic images represent these characteristics by two components, reflectance (the albedo of each point) and shading (...