9405 search results - page 1448 / 1881 » Computing a Model of Set Theory |
224
click to vote
PODC
2006
ACM
16 years 24 days ago
2006
ACM
Byzantine agreement algorithms typically assume implicit initial state consistency and synchronization among the correct nodes and then operate in coordinated rounds of informatio...
219
click to vote
MM
2005
ACM
16 years 12 days ago
2005
ACM
This work achieves full registration of scenes in a large area and creates visual indexes for visualization in a digital city. We explore effective mapping, indexing, and display ...
207
Voted
EMSOFT
2005
Springer
16 years 11 days ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
163
click to vote
ISMIR
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes a music analyzing system called the automatic time-span tree analyzer (ATTA), which we have developed. The ATTA derives a time-span tree that assigns a hierar...
194
click to vote
SAGA
2005
Springer
16 years 10 days ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...