2586 search results - page 364 / 518 » Automatic Abstraction for Congruences |
357
click to vote
IPMI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Three dimensional medial paths or curve skeletons (CS) are an essential component of any virtual endoscopy (VE) system, because they serve as flight paths for a virtual ...
157
click to vote
ISAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Designing and programming dependable distributed applications is very difficult. Databases provide features like transactions and replication that can help in the impleme...
145
click to vote
ISMIR
2005
Springer
15 years 12 months ago
2005
Springer
MUCOSA (Music Content Semantic Annotator) is an environment for the annotation and generation of music at different levels of abstraction. It is composed of three tiers: an annota...
175
click to vote
ISMIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present an overview of anomaly detection used in computer security, and provide a detailed example of a host-based Intrusion Detection System that monitors file syste...
154
click to vote
KIVS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...