1760 search results - page 167 / 352 » Program Analysis Using Weighted Pushdown Systems |
100
click to vote
DAS
2008
Springer
15 years 2 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
110
Voted
CIVR
2007
Springer
15 years 7 months ago
2007
Springer
The Carnegie Mellon University Informedia group has enjoyed consistent success with TRECVID interactive search using traditional storyboard interfaces for shot-based retrieval. Fo...
102
Voted
CC
2004
Springer
15 years 6 months ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
78
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...
139
click to vote
FGR
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes a framework for constructing a linear subspace model of image appearance for complex articulated 3D figures such as humans and other animals. A commercial mo...