540 search results - page 89 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
101
Voted
VMCAI
2009
Springer
15 years 7 months 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 ...
103
Voted
BMCBI
2007
15 years 21 days 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...
100
click to vote
PERCOM
2007
ACM
15 years 2 days 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...
100
click to vote
SAC
2006
ACM
15 years 6 months 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...
87
Voted
NSPW
2004
ACM
15 years 6 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...