9626 search results - page 1627 / 1926 » Invariant Based Programming |
177
click to vote
ICAT
2006
IEEE
16 years 21 days ago
2006
IEEE
Interactive virtual characters are nowadays commonplace in games, animations, and Virtual Reality (VR) applications. However, relatively few work has so far considered the animatio...
173
click to vote
ICECCS
2006
IEEE
16 years 21 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
146
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
The next major advancement in television is expected to be stereoscopic three-dimensional television (3D-TV). A successful roll-out of 3D-TV will require a backwardcompatible tran...
172
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
We propose a novel scheme to detect human actions in active video. Active videos such as movies or sports broadcasting are taken purposively by “clever” photographers. They ar...
162
click to vote
IEEESCC
2006
IEEE
16 years 21 days ago
2006
IEEE
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...