2940 search results - page 307 / 588 » Relational Parametricity and Control |
515
click to vote
Publication
In this paper, we propose a new visualization technique for virtual
colonoscopy (VC). The proposed method is called Virtual Fly-Over, which splits
the entire colon anatomy into e...
285
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
We study the problem of auditing a batch of SQL queries: Given a forbidden view of a database that should have been kept confidential, a batch of queries that were posed over this ...
174
click to vote
IPMI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. We describe the use of non-parametric permutation tests to detect activation in cortically-constrained maps of current density computed from MEG data. The methods are app...
163
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We consider the task of driving a remote control car at high speeds through unstructured outdoor environments. We present an approach in which supervised learning is first used to...
143
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we describe the use of three different shape measures -- i.e., shape index, curvedness, and L2 norm of mean curvature -- to quantify cortical gyrification and compl...