3333 search results - page 374 / 667 » Abstract Proof Search |
147
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
160
click to vote
CSL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
186
click to vote
ER
2007
Springer
16 years 24 days ago
2007
Springer
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...
154
click to vote
FUN
2007
Springer
16 years 24 days ago
2007
Springer
The Hydra was a many-headed monster from Greek mythology that would immediately replace a head that was cut off by one or two new heads. It was the ask of Hercules to kill this mon...
180
click to vote
HPCC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...