15375 search results - page 196 / 3075 » cans 2008 |
JUCS
2008
13 years 8 months ago
2008
Abstract: We developed a free form deformation application for an immersive environment in which users can interact freely using data gloves. To ensure better comfort and performan...
JUCS
2008
13 years 8 months ago
2008
: The investments needed to bring a software project to the market are substantial and can extend over several years. Managing software development requires not only technical expe...
LISP
2008
13 years 8 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
MICS
2008
13 years 8 months ago
2008
We describe automated methods for constructing nonisomorphism proofs for pairs of graphs. The proofs can be human-readable or machinereadable. We have developed an experimental imp...
MLQ
2008
13 years 8 months ago
2008
An account of lower and upper integration is given. It is constructive in the sense of geometric logic. If the integrand takes its values in the nonnegative lower reals, then its ...