308 search results - page 42 / 62 » Modular Verification of Interactive Systems with an Applicat... |
96
Voted
SAC
2006
ACM
15 years 5 months ago
2006
ACM
We report a comprehensive evaluation of the topological structure of protein-protein interaction (PPI) networks by mining and analyzing graphs constructed from the publicly availa...
115
click to vote
ACMACE
2006
ACM
15 years 5 months ago
2006
ACM
Future digital entertainment services available to home users will share several characteristics: i) they will be deployed and delivered through the Internet, ii) a single media c...
112
click to vote
DCOSS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Wireless sensor networks can be very useful in applications that require the detection of crucial events, in physical environments subjected to critical conditions, and t...
111
Voted
MM
2003
ACM
15 years 4 months ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...
101
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: The development of high-throughput technologies such as yeast two-hybrid systems and mass spectrometry technologies has made it possible to generate large protein-prot...