2701 search results - page 154 / 541 » On the form of witness terms |
190
click to vote
DAGM
2004
Springer
16 years 17 days 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...
163
click to vote
ECAI
2004
Springer
16 years 17 days 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...
164
click to vote
GPCE
2004
Springer
16 years 16 days 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 (...
174
click to vote
HUC
2004
Springer
16 years 16 days 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...
213
Voted
ICFCA
2004
Springer
16 years 16 days 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...