400 search results - page 50 / 80 » Moving Proofs-As-Programs into Practice |
SI3D
2005
ACM
14 years 2 months ago
2005
ACM
Blendshapes (linear shape interpolation models) are perhaps the most commonly employed technique in facial animation practice. A major problem in creating blendshape animation is ...
FM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
IPSN
2005
Springer
14 years 2 months ago
2005
Springer
Tracking the identities of moving objects is an important aspect of most multi-object tracking applications. Uncertainty in sensor data, coupled with the intrinsic difficulty of ...
TOOLS
2000
IEEE
14 years 9 days ago
2000
IEEE
Although eXtreme Programming has been explained by Kent Beck[1], there are many benefits to adopting eXtreme Programming (XP) practices in other development processes. The benefit...
AGILEDC
2008
IEEE
13 years 10 months ago
2008
IEEE
This case study outlines one team's shift from the traditional waterfall methodology to an agile approach for web and custom application development. The transformation occur...