660 search results - page 22 / 132 » The Implicit Calculus of Constructions |
IMAMS
2007
13 years 11 months ago
2007
We present a shape deformation approach which preserves volume, prevents self-intersections and allows for exact control of the deformation impact. The volume preservation and prev...
CG
2011
Springer
13 years 1 months ago
2011
Springer
The automatic generation of volumes bounding the intersection of two implicit surfaces (isosurfaces of real functions of 3D point coordinates) or Feature Based Volumes (FBV) is pr...
CIE
2008
Springer
13 years 12 months ago
2008
Springer
Having principal typings (for short PT) is an important property of type systems. This property guarantees the possibility of type deduction which means it is possible to develop a...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
During the last decade, software transactional memory (STM) gained wide popularity in many areas of parallel computing. In this paper, we introduce LISP-derived language equipped ...
APWEB
2004
Springer
14 years 3 months ago
2004
Springer
Web search engines help users find useful information on the WWW. However, when the same query is submitted by different users, typical search engines return the same result regar...