Sciweavers

1760 search results - page 167 / 352
» Program Analysis Using Weighted Pushdown Systems
Sort
View
DAS
2008
Springer
15 years 2 months ago
An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts
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...
Stephen M. Watt
110
Voted
CIVR
2007
Springer
136views Image Analysis» more  CIVR 2007»
15 years 7 months ago
Merging storyboard strategies and automatic retrieval for improving interactive video search
The Carnegie Mellon University Informedia group has enjoyed consistent success with TRECVID interactive search using traditional storyboard interfaces for shot-based retrieval. Fo...
Michael G. Christel, Rong Yan
102
Voted
CC
2004
Springer
15 years 6 months ago
Using Multiple Memory Access Instructions for Reducing Code Size
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...
Neil Johnson, Alan Mycroft
78
Voted
CDC
2008
IEEE
107views Control Systems» more  CDC 2008»
15 years 7 months ago
Resource pooling for optimal evacuation of a large building
— 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 ...
Kun Deng, Wei Chen, Prashant G. Mehta, Sean P. Mey...
FGR
2000
IEEE
175views Biometrics» more  FGR 2000»
15 years 5 months ago
A Framework for Modeling the Appearance of 3D Articulated Figures
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...
Hedvig Sidenbladh, Fernando De la Torre, Michael J...