1926 search results - page 211 / 386 » Hierarchical Peer-to-Peer Systems |
151
click to vote
CLEAR
2007
Springer
16 years 22 days ago
2007
Springer
In this paper the acoustic event detection and classification system that has been developed at Athens Information Technology is presented. This system relies on the use of severa...
186
click to vote
HYBRID
2007
Springer
16 years 21 days ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
207
click to vote
SSDBM
2003
IEEE
15 years 11 months ago
2003
IEEE
The CenSSIS Image Database System is a scientific database that enables effective data management and collaboration to accelerate fundamental research. This paper describes the d...
164
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
151
click to vote
INTERACT
2007
15 years 8 months ago
2007
Most visualization systems fail to convey uncertainty within data. To provide a way to show uncertainty in similar hierarchies, we interpreted the differences between two tree stru...