540 search results - page 89 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
153
click to vote
VMCAI
2009
Springer
16 years 28 days ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
166
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
166
click to vote
PERCOM
2007
ACM
15 years 5 months ago
2007
ACM
In wireless sensor networks, poor performance or unexpected behavior may be experienced for several reasons, such as trivial deterioration of sensing hardware, unsatisfactory impl...
167
click to vote
SAC
2006
ACM
16 years 3 days ago
2006
ACM
Increasingly pervasive computing throws up scenarios where users may wish to achieve some degree of security in their interaction with other people or equipment, in contexts where...
141
click to vote
NSPW
2004
ACM
15 years 11 months ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...