8874 search results - page 1696 / 1775 » A New Implementation of Automath |
167
Voted
COMPGEOM
2004
ACM
15 years 7 months ago
2004
ACM
We introduce a new approach to the problem of collision detection between a rotating milling-cutter of an NC-machine and a model of a solid workpiece, as the rotating cutter conti...
123
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves accor...
127
Voted
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Current ubiquitous computing environments provide many kinds of information. This information may be accessed by different users under varying conditions depending on various conte...
129
Voted
CPAIOR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
123
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
In biology, a vaccine is a weakened strain of a virus or bacterium that is intentionally injected into the body for the purpose of stimulating antibody production. Inspired by thi...