51986 search results - page 71 / 10398 » Are There New Models of Computation |
CIS
2007
Springer
14 years 3 months ago
2007
Springer
The session initiation protocol (SIP) is considered as the dominant signaling protocol for calls over the internet. However, SIP authentication typically uses HTTP digest authentic...
ARTS
1997
Springer
14 years 1 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
In this paper we present a probabilistic framework for tracking objects based on local dynamic segmentation. We view the segn to be a Markov labeling process and abstract it as a ...
ICIP
2001
IEEE
14 years 11 months ago
2001
IEEE
This paper proposes a novel approach for robust face detection based on our enhanced Hausdorff Distance (HD). A major aim of this research is to achieve a highly efficient method ...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...