8228 search results - page 1398 / 1646 » Structural Logical Relations |
122
click to vote
COORDINATION
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
106
click to vote
CSLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper is concerned with the question of quantifying gradient degrees of acceptability by introducing the notion of Density in the context of constructional constrain...
94
Voted
DBISP2P
2004
Springer
15 years 6 months ago
2004
Springer
Peer-to-peer systems offer an efficient means for sharing data among autonomous nodes. A central issue is locating the nodes with data matching a user query. A decentralized solut...
117
Voted
E4MAS
2004
Springer
15 years 6 months ago
2004
Springer
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...
100
click to vote
ECCV
2004
Springer
15 years 6 months ago
2004
Springer
Computer vision methods can be applied to a variety of medical and surgical applications, and many techniques and algorithms are available that can be used to recover 3D shapes and...