2632 search results - page 387 / 527 » Alternating Timed Automata |
119
click to vote
EDCC
2005
Springer
15 years 7 months ago
2005
Springer
Unreliable failure detectors are a well known means to enrich asynchronous distributed systems with time-free semantics that allow to solve consensus in the presence of crash failu...
118
click to vote
ERCIMDL
2005
Springer
15 years 7 months ago
2005
Springer
We present a new statistical compression method, which we call Phrase Based Dense Code (PBDC), aimed at compressing large digital libraries. PBDC compresses the text collection to ...
137
Voted
ESTIMEDIA
2005
Springer
15 years 7 months ago
2005
Springer
Designing Application-Specific Instruction-set Processors (ASIPs) usually requires designing a custom datapath, and modifying instruction-set, instruction decoder, and compiler. A...
116
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
Academic literature has documented for a long time the existence of important price gains in the first trading day of initial public offerings (IPOs). Most of the empirical analys...
152
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...