605 search results - page 90 / 121 » Normalizers and Split Extensions |
AGP
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
85
Voted
DSN
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper describes the design, implementation, and performance evaluation of ST-TCP (Server fault-Tolerant TCP), which is an extension of TCP to tolerate TCP server failures. Th...
89
Voted
ICCV
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, we present a novel approach, called the “one-circle” algorithm, for measuring the eye gaze using a monocular image that zooms in on only one eye of a person. Ob...
126
Voted
ISVLSI
2003
IEEE
15 years 4 months ago
2003
IEEE
The behavior of many algorithms is heavily determined by the input data. Furthermore, this often means that multiple and completely different execution paths can be followed, also...
86
Voted
LICS
2003
IEEE
15 years 4 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...