7529 search results - page 175 / 1506 » The Modula-3 Type System |
162
Voted
SIGGRAPH
1996
ACM
15 years 9 months ago
1996
ACM
Creating freeform surfaces is a challenging task even with advanced geometric modeling systems. Laser range scanners offer a promising alternative for model acquisition--the 3D sc...
168
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Pseudomonas aeruginosa, an opportunistic pathogen, is often encountered in chronic lung diseases such as cystic fibrosis or chronic obstructive pneumonia, as well as a...
144
Voted
IRI
2006
IEEE
15 years 11 months ago
2006
IEEE
—The transformational methodology described in this paper induces new knowledge, which may be open under any deductive process. The method of transposition is used to maintain a ...
177
Voted
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
159
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...