1981 search results - page 275 / 397 » Model-Checking Hierarchical Structures |
NCA
2003
IEEE
14 years 2 months ago
2003
IEEE
A distributed application that operates in an ad hoc network formed by mobile nodes must limit its use of all-to-all communication since the overall capacity of such a network is ...
EUROPAR
2003
Springer
14 years 2 months ago
2003
Springer
The future mobile and ubiquitous computing world will need new forms of information sharing and collaboration between people. In this paper we present iClouds, an architecture for ...
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
This paper introduces a very compact yet discriminative video description, which allows example-based search in a large number of frames corresponding to thousands of hours of vide...
ISMIR
2003
Springer
14 years 2 months ago
2003
Springer
We introduce a neural network, known as SONNETMAP, capable of automatic segmentation, learning and retrieval of melodies. SONNET-MAP is a synthesis of the SONNET (Self-Organizing ...
IV
2002
IEEE
14 years 1 months ago
2002
IEEE
We propose ‘Trace View’, a static visualization method for monitoringand debugging the dynamic behavior of programs written in data flow visual programming languages. Trace V...