317 search results - page 22 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
140
click to vote
FORTE
2009
15 years 18 days ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
124
click to vote
TVCG
2012
13 years 5 months ago
2012
—We present an algorithm to render objects made of transparent materials with rough surfaces in real-time, under all-frequency distant illumination. Rough surfaces cause wide sca...
130
click to vote
APN
2007
Springer
15 years 9 months ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...
122
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
134
click to vote
FGR
2006
IEEE
15 years 9 months ago
2006
IEEE
Active appearance models (AAMs) are generative parametric models commonly used to track faces in video sequences. A limitation of AAMs is they are not robust to occlusion. A recen...