1344 search results - page 74 / 269 » Automatic performance analysis with periscope |
101
click to vote
3DOR
2009
15 years 20 days ago
2009
When drafting new buildings, architects make intensive use of existing 3D models including building elements, furnishing, and environment elements. These models are either directl...
ENTCS
2010
14 years 9 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
ISMIR
2003
Springer
15 years 4 months ago
2003
Springer
A technique for harmonic analysis is presented that partitions a piece of music into contiguous regions and labels each with the key, mode, and functional chord, e.g. tonic, domin...
115
click to vote
JCDL
2011
ACM
14 years 2 months ago
2011
ACM
With product reviews growing in depth and becoming more numerous, it is growing challenge to acquire a comprehensive understanding of their contents, for both customers and produc...
ENTCS
2006
14 years 11 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...