7259 search results - page 1202 / 1452 » From Fields to Trees |
164
click to vote
CONCUR
2005
Springer
16 years 8 days ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
163
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Multi-Point Constructive Search maintains a small set of “elite solutions” that are used to heuristically guide constructive search through periodically restarting se...
173
click to vote
DCOSS
2005
Springer
16 years 8 days ago
2005
Springer
The literature on programming sensor networks has focused so far on g higher-level abstractions for expressing local node behavior. Kairos is a natural next step in sensor network ...
178
click to vote
EMO
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In engineering and other ‘real-world’ applications, multiobjective optimization problems must frequently be tackled on a tight evaluation budget — tens or hundreds ...
161
click to vote
ERCIMDL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...