400 search results - page 40 / 80 » Moving Proofs-As-Programs into Practice |
NIME
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes the design of an expressive tangible interface for cinema editing as a live performance. A short survey of live video practices is provided. The Live Cinema i...
ISQED
2003
IEEE
14 years 3 months ago
2003
IEEE
Mind-boggling complexity of EDA tools necessitates reuse of intellectual property in any large-scale commercial or academic operation. However, due to the nature of software, a to...
SIBGRAPI
2003
IEEE
14 years 3 months ago
2003
IEEE
Creating models of real scenes is a complex task for which the use of traditional modelling techniques is inappropriate. For this task, laser rangefinders are frequently used to s...
SSDBM
2003
IEEE
14 years 3 months ago
2003
IEEE
Although traditional databases and data warehouses have been exploited widely to manage persistent data, a large number of applications from sensor network need functional support...
PPPJ
2003
ACM
14 years 3 months ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...