1729 search results - page 212 / 346 » Practical Temporal Projection |
173
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
170
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...
173
click to vote
ERCIMDL
2001
Springer
15 years 11 months ago
2001
Springer
EBONI (Electronic Books ON-screen Interface) [1] builds on the premise to emerge from the Visual Book [2] and WEB Book projects [3], that appearance is important in the design of e...
188
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
177
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
We describe a new paradigm for three-dimensional computer graphics, using projectors to graphically animate physical objects in the real world. The idea is to replace a physical o...