540 search results - page 32 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
115
Voted
PERCOM
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a method for finding and classifying objects within real-world scenes by using the activity of humans interacting with these objects to infer the object’s i...
119
Voted
ETELEMED
2009
IEEE
15 years 7 months ago
2009
IEEE
The Differential diagnosis (ddx) is a systematic method to identify unknowns. This method, essentially a process of elimination, is used by taxonomists to identify living organism...
108
Voted
ICIA
2007
15 years 2 months ago
2007
As computer systems continue to grow in power and access more networked content and services, we believe there will be an increasing need to provide more user-centric systems that...
126
click to vote
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
113
click to vote
IEEEHPCS
2010
14 years 11 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...