13383 search results - page 2354 / 2677 » Abstractions from proofs |
171
click to vote
JMM2
2006
15 years 4 months ago
2006
Abstract-- This paper describes a framework for constructing a three-dimensional immersive environment that can be used for training physical activities. The system is designed to ...
137
click to vote
PERVASIVE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Activity inference based on object use has received considerable recent attention. Such inference requires statistical models that map activities to the objects used in p...
125
click to vote
TC
2008
15 years 4 months ago
2008
Abstract--Testing security systems is challenging because a system's authors have to play the double role of attackers and defenders. Red Team/Blue Team exercises are an inval...
156
click to vote
INTERNET
2007
15 years 4 months ago
2007
it’s hardly Earth-shattering: abstracting your business services and separating them from your applications can yield an overall system that’s easier to build, maintain, and ex...
114
click to vote
TIP
2008
15 years 3 months ago
2008
Abstract--Image denoising methods are often designed to minimize mean-squared error (MSE) within the subbands of a multiscale decomposition. However, most high-quality denoising re...