2701 search results - page 154 / 541 » On the form of witness terms |
163
click to vote
DAGM
2004
Springer
15 years 12 months ago
2004
Springer
Compressed domain image retrieval allows image indexing to be performed directly on the compressed data without the need of decoding. This approach hence provides a significant ga...
143
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...
144
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
158
click to vote
HUC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Infrastructures (persistent socio-technical systems over which services are delivered) are normally taken for granted by their users, but are powerful forces of constrain...
194
click to vote
ICFCA
2004
Springer
15 years 12 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...