Sciweavers

6960 search results - page 497 / 1392
» Continuity Analysis of Programs
Sort
View
ICSM
2005
IEEE
16 years 11 hour ago
Annotated Inclusion Constraints for Precise Flow Analysis
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
Ana Milanova, Barbara G. Ryder
149
Voted
CMMR
2007
Springer
105views Music» more  CMMR 2007»
15 years 10 months ago
Real-Time Analysis of Sensory Dissonance
We describe a tool for real-time musical analysis based on a measure of roughness, the principal element of sensory dissonance. While most historical musical analysis is based on t...
John MacCallum, Aaron Einbond
SMC
2007
IEEE
143views Control Systems» more  SMC 2007»
16 years 21 days ago
Enabling gestural interaction by means of tracking dynamical systems models and assistive feedback
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
Yon Visell, Jeremy R. Cooperstock
VLDB
2005
ACM
129views Database» more  VLDB 2005»
15 years 12 months ago
Sketching Streams Through the Net: Distributed Approximate Query Tracking
Emerging large-scale monitoring applications require continuous tracking of complex dataanalysis queries over collections of physicallydistributed streams. Effective solutions hav...
Graham Cormode, Minos N. Garofalakis
ECCC
2007
69views more  ECCC 2007»
15 years 6 months ago
Testing Symmetric Properties of Distributions
We introduce the notion of a Canonical Tester for a class of properties on distributions, that is, a tester strong and general enough that “a distribution property in the class ...
Paul Valiant