Sciweavers

3133 search results - page 101 / 627
» Difference systems of sets and cyclotomy
Sort
View
ISMIR
2004
Springer
120views Music» more  ISMIR 2004»
15 years 3 months ago
The Anatomy of a Bibliographic Search System for Music
Traditional library catalog systems have been effective in providing access to collections of books, films, and other material. However, they have many limitations when it comes ...
Ryan Scherle, Donald Byrd
DSRT
2008
IEEE
14 years 11 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
USENIX
1993
14 years 11 months ago
Fremont: A System for Discovering Network Characteristics and Problems
In this paper we present an architecture and prototype implementation for discovering key network characteristics, such as hosts, gateways, and topology. The Fremont system uses a...
David C. M. Wood, Sean S. Coleman, Michael F. Schw...
RR
2007
Springer
15 years 4 months ago
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
Yimin Wang, Jie Bao, Peter Haase, Guilin Qi
BSN
2006
IEEE
157views Sensor Networks» more  BSN 2006»
15 years 4 months ago
HealthGear: A Real-time Wearable System for Monitoring and Analyzing Physiological Signals
We present HealthGear, a real-time wearable system for monitoring, visualizing and analyzing physiological signals. HealthGear consists of a set of non-invasive physiological sens...
Nuria Oliver, Fernando Flores-Mangas