Sciweavers

9018 search results - page 1070 / 1804
» 3D-Brain Model Software
Sort
View
CIBSE
2008
ACM
15 years 9 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
DSVIS
2008
Springer
15 years 9 months ago
ReWiRe: Designing Reactive Systems for Pervasive Environments
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
Geert Vanderhulst, Kris Luyten, Karin Coninx
ERLANG
2008
ACM
15 years 9 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
AVI
2004
15 years 9 months ago
Xface: MPEG-4 based open source toolkit for 3D Facial Animation
In this paper, we present our open source, platform independent toolkit for developing 3D talking agents, namely Xface. It relies on MPEG-4 Face Animation (FA) standard. The toolk...
Koray Balci
AVI
2006
15 years 9 months ago
Programming rich interactions using the hierarchical state machine toolkit
Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools ma...
Renaud Blanch, Michel Beaudouin-Lafon
« Prev « First page 1070 / 1804 Last » Next »