2196 search results - page 26 / 440 » Practical Reasoning Using Values |
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
An integrated and effective metal artifact reduction method named Metal Erasing (ME) especially suited to dental applications is proposed. Layout of metals is identified as metal-...
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
AIL
2004
13 years 8 months ago
2004
In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between...
AMAST
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
CSB
2004
IEEE
14 years 14 days ago
2004
IEEE
There is considerable interest in computational methods to assist in the use of genetic polymorphism data for locating disease-related genes. Haplotypes, contiguous sets of correl...