8828 search results - page 1623 / 1766 » Formal methods in practice |
154
click to vote
SIGGRAPH
1998
ACM
15 years 8 months ago
1998
ACM
The creation of believable and endearing characters in computer graphics presents a number of technical challenges, including the modeling, animation and rendering of complex shap...
129
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
Scheduling algorithms for composite multimedia presentations need to ensure that the user-defined synchronization constraints for the various presentation components are met. This...
161
click to vote
ECBS
1996
IEEE
15 years 8 months ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
232
click to vote
ICIP
1994
IEEE
15 years 8 months ago
1994
IEEE
The two main plagues of image restoration are oscillations and smoothing. Traditional image restoration techniques prevent parasitic oscillations by resorting to smooth regulariza...
146
click to vote
ACCV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We design an effective shape prior embedded human silhouettes extraction algorithm. Human silhouette extraction is found challenging because of articulated structures, po...