540 search results - page 32 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
180
click to vote
PERCOM
2003
ACM
15 years 11 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...
187
click to vote
ETELEMED
2009
IEEE
16 years 27 days 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...
169
click to vote
ICIA
2007
15 years 8 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...
187
click to vote
WOLLIC
2009
Springer
16 years 22 days 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...
185
click to vote
IEEEHPCS
2010
15 years 4 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...