1620 search results - page 115 / 324 » Testing Polymorphic Properties |
156
click to vote
EVOW
2011
Springer
14 years 8 months ago
2011
Springer
The Strategy Game Description Game Language (SGDL) is intended to become a complete description of all aspects of strategy games, including rules, parameters, scenarios, maps, and ...
190
click to vote
PODS
2008
ACM
16 years 5 months ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
160
click to vote
WETICE
2005
IEEE
15 years 10 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
158
click to vote
MICCAI
1999
Springer
15 years 9 months ago
1999
Springer
We present a new approach for the computation of the deformation field between three dimensional (3D) images. The deformation field minimizes the sum of the squared differences b...
141
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
We present a framework for hypothesis testing of differences between groups of DTI fiber tracts. An anatomical, tract-oriented coordinate system provides a basis for estimating the...