4340 search results - page 639 / 868 » Formal Methods and Cryptography |
174
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...
140
click to vote
VC
2010
15 years 4 months ago
2010
Abstract Digital holography is a technology with a potential to provide realistic 3D images. However, generation of digital holograms is a computationally demanding task. Thus, the...
191
click to vote
VR
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a technique for exploiting change blindness to allow the user to walk through an immersive virtual environment that is much larger than the available physical workspace...
212
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
In the realm of multilabel classification (MLC), it has become an opinio communis that optimal predictive performance can only be achieved by learners that explicitly take label d...
202
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...