3951 search results - page 471 / 791 » Automatic amortized analysis |
185
click to vote
IWPC
2006
IEEE
16 years 23 days ago
2006
IEEE
Program componentization has been proved to be an effective way to increase the speed and cost-effectiveness of reusing, maintaining, and understanding existing software systems. ...
188
click to vote
MIR
2006
ACM
16 years 22 days ago
2006
ACM
There is a growing need to access historical Ottoman documents stored in large archives and therefore managing tools for automatic searching, indexing and transcription of these d...
163
click to vote
SAC
2006
ACM
16 years 21 days ago
2006
ACM
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...
191
click to vote
ICCD
2005
IEEE
16 years 11 days ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
176
click to vote
ICCV
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper investigates the appearance manifold of facial expression: embedding image sequences of facial expression from the high dimensional appearance feature space to a low dim...