10159 search results - page 504 / 2032 » System Design Validation Using Formal Models |
124
click to vote
ASAP
2003
IEEE
15 years 10 months ago
2003
IEEE
Recently, a number of researchers have started to investigate new video-on-demand (VoD) architectures using batching, patching and periodic broadcasting. These architectures, comp...
128
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
An audio fingerprint is a compact representation of the perceptually relevant parts of audio content. A suitable audio fingerprint can be used to identify audio files, even if ...
141
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
A distributed decision support system involving multiple clinical centres is crucial to the diagnosis of rare diseases. Although sharing of valid diagnosed cases can facilitate la...
147
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
Many self-organizing and self-adaptive systems use the biologically inspired “gradient” primitive, in which each device in a network estimates its distance to the closest devi...
153
click to vote
UAIS
2002
15 years 4 months ago
2002
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...