517 search results - page 37 / 104 » On the Intended Interpretations of Actions |
ICPR
2000
IEEE
16 years 1 months ago
2000
IEEE
Choosing the appropriate type of video input is an important issue for any vision-based system and the right decision must take into account the specific requirements of the inten...
96
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
IV
2007
IEEE
15 years 6 months ago
2007
IEEE
We describe an empirical investigation into layout criteria that can help with the comprehension of Euler diagrams. Our work is intended to inform automatic Euler diagram layout r...
IEEEARES
2006
IEEE
15 years 6 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
85
Voted
TGC
2005
Springer
15 years 6 months ago
2005
Springer
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message ex...