4767 search results - page 710 / 954 » Structures for Abstract Rewriting |
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
142
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
127
click to vote
CVBIA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Digital subtraction angiography (DSA) reconstructions and 3D Magnetic Resonance Angiography (MRA) are the modalities of choice for diagnosis of vascular diseases. However...
190
click to vote
DAWAK
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, we present a new approach to indexing multidimensional data that is particularly suitable for the efficient incremental processing of nearest neighbor quer...
126
click to vote
DCOSS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Achieving optimal battery usage and prolonged network lifetime are two of the most fundamental issues in wireless sensor networks. By exploiting node and data redundancy ...