1087 search results - page 75 / 218 » Eta-Redexes in Partial Evaluation |
152
click to vote
ESORICS
2008
Springer
15 years 7 months ago
2008
Springer
The evaluation of privacy-preserving techniques for LBS is often based on simulations of mostly random user movements that only partially capture real deployment scenarios. We clai...
183
click to vote
3DIM
2001
IEEE
15 years 10 months ago
2001
IEEE
Building 3D models of real-world objects by assembling views taken by a range sensor promises to be a more efficient method than manually producing CAD drawings. In this technique...
163
click to vote
IVC
2007
15 years 6 months ago
2007
The three-dimensional reconstruction of real objects is an important topic in computer vision. Most of the acquisition systems are limited to reconstruct a partial view of the obj...
150
click to vote
AIEDAM
2006
15 years 6 months ago
2006
Design involves reasoning about descriptions of design artefacts, reasoning about design requirements and reasoning about design process objectives (such as keeping to deadlines an...
197
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Model-driven software development (MDSD) has been on the rise over the past few years and is becoming more and more mature. However, evaluation in real-life industrial context is s...