3690 search results - page 386 / 738 » Computation with classical sequents |
134
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Software services are, just like any other software system, subject to permanent change. We argue that these changes should generally be transparent to service consumers. However,...
179
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Searching for an efficient summarization of multi-channel electroencephalogram (EEG) behavior is a challenging signal analysis problem. Recently, parallel factor analysis (PAR...
148
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
The ability to detect and recognize individuals is essential for an autonomous robot interacting with humans even if computational resources are usually rather limited. In general ...
196
click to vote
ICPR
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper we describe a computer aided detection (CAD) algorithm for robust detection of polyps in computed tomography (CT) colonography. The devised algorithm identifies sus...
160
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
Instant messaging has become a part of our daily live. Instant communication, either with a mobile device or with a computer based application, is an increasingly used form of com...