1575 search results - page 250 / 315 » Simultaneous Source Location |
122
Voted
CORR
2000
Springer
15 years 2 months ago
2000
Springer
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
145
Voted
ENTCS
2002
15 years 2 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
100
Voted
NAR
2000
15 years 2 months ago
2000
Human genome polymorphism is expected to play a key role in defining the etiologic basis of phenotypic differences between individuals in aspects such as drug responses and common...
120
click to vote
IVC
2002
15 years 2 months ago
2002
Ears are an emergent biometric accruing application advantages including no requirement for subject contact and acquisition without demand. To recognize a subject's ear, we a...
146
Voted
IJCIS
1998
15 years 2 months ago
1998
We present the systematic design and development of a distributed query scheduling service DQS in the context of DIOM, a distributed and interoperable query mediation system 26 ...