972 search results - page 111 / 195 » Reasoning with Conditional Time-Intervals |
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
CSL
2003
Springer
14 years 2 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
WACV
2002
IEEE
14 years 1 months ago
2002
IEEE
Skin detection is an important process in many of computer vision algorithms. It usually is a process that starts at a pixel-level, and that involves a pre-process of colorspace t...
CMMR
2009
Springer
14 years 1 months ago
2009
Springer
In speech interactions, people routinely reason about each other’s auditory perspective and adjust their manner of speaking accordingly by raising their voice to overcome noise ...
LORI
2009
Springer
14 years 1 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...