2838 search results - page 414 / 568 » Verifying Controlled Components |
TCIAIG
2011
13 years 5 months ago
2011
—Launchpad is an autonomous level generator that is based on a formal model of 2-D platformer level design. Levels are built out of small segments called “rhythm groups,” whi...
EMISA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. When assessing the usability of BPM technologies enterprises have to rely on vendor promises or qualitative data rather than on empirical or experimental research. To add...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
The transformation of the voiced segments of a speech recording has many applications such as expressivity synthesis or voice conversion. This paper addresses the pitch transposit...
ICIP
2006
IEEE
15 years 2 days ago
2006
IEEE
In this paper, we study the calibration of head pose estimation in stereo camera setting for meeting room video event analysis. Head pose information infers the direction of atten...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...