5863 search results - page 463 / 1173 » Calculating Functional Programs |
162
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
In the paper, we proposed a method for moving human detection in video frames by motion contour matching. Firstly, temporal and spatial difference of frames is calculated and conto...
203
click to vote
REFSQ
2007
Springer
16 years 1 months ago
2007
Springer
This paper investigates two integer linear programming models that integrate requirement scheduling into software release planning. The first model can schedule the development of ...
170
click to vote
APN
2005
Springer
16 years 1 months ago
2005
Springer
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...
214
click to vote
SBCCI
2004
ACM
16 years 1 months ago
2004
ACM
This paper presents an approach for simulation of mixed analog-digital CMOS integrated circuits, aiming at estimating crosstalk effects due to current pulses drawn from voltage s...
188
click to vote
SCAM
2003
IEEE
16 years 25 days ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...