2661 search results - page 389 / 533 » Model Checking Performability Properties |
116
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
127
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
90
Voted
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. An important task in object recognition is to enable algorithms to categorize objects under arbitrary poses in a cluttered 3D world. A recent paper by Savarese & Fei-...
ISMIR
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a new model for extracting classified structural segments, such as intro, verse, chorus, break and so forth, from recorded music. Our approach is to classify signal ...
103
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...