6014 search results - page 732 / 1203 » Parametric Analysis of Computer Systems |
186
Voted
ESOP
2005
Springer
16 years 12 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
188
Voted
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
Automatic polyp detection is an increasingly important task in medical imaging with virtual colonoscopy [15] being widely used. In this paper, we present a 3D object detection alg...
163
click to vote
WMCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
We show how to convert regular keyboard-entry CAPTCHAs into clickable CAPTCHAs. The goal of this conversion is to simplify and speed-up the entry of the CAPTCHA solution, to minim...
187
click to vote
SIBGRAPI
2006
IEEE
16 years 26 days ago
2006
IEEE
Exploration and analysis of multivariate data play an important role in different domains. This work proposes a simple interface prototype that allows a human user to visually expl...
133
click to vote
ITICSE
2006
ACM
16 years 25 days ago
2006
ACM
This paper illustrates how the notion of pattern can be used in the automatic analysis and synthesis of diagrams, applied particularly to the automatic marking of ER-diagrams. The...