15660 search results - page 178 / 3132 » The Unbalance of Set Systems |
163
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
173
click to vote
IEEEARES
2007
IEEE
2007
IEEE
Using Privacy Process Patterns for Incorporating Privacy Requirements into the System Design Process
16 years 28 days ago
In the online world every person has to hold a number of different data sets so as to be able to have access to various e-services and take part in specific economical and social ...
157
click to vote
VRCAI
2004
ACM
16 years 1 days ago
2004
ACM
To create the illusion that a virtual object coexists with physical objects and its environment is always an important goal in the research of augmented reality. Though there are ...
191
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
The increasing use of microprocessor cores in embedded systems as well as mobile and portable devices creates an opportunity for customizing the cache subsystem for improved perfo...
176
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Advances in 3D scanning technologies have enabled the practical creation of meshes with hundreds of millions of polygons. Traditional algorithms for display, simplification, and ...