Sciweavers

5423 search results - page 333 / 1085
» Denial-of-service in automation systems
Sort
View
BILDMED
2007
15 years 8 months ago
Semi-automatic Segmentation of the Patellar Cartilage in MRI
A software system for semi-automatic segmentation of the patellar cartilage is introduced. Providing tools for sub-pixel accurate edge tracing, automatic contour completion, and ad...
Lorenz König, Martin Groher, Andreas Keil, Ch...
FMICS
2010
Springer
15 years 8 months ago
A Formal Model of Identity Mixer
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate....
Jan Camenisch, Sebastian Mödersheim, Dieter S...
COSIT
1999
Springer
167views GIS» more  COSIT 1999»
15 years 11 months ago
Data Characterization Schema for Intelligent Support in Visual Data Analysis
The project CommonGIS1 aims at building a system allowing users to view and analyze geographically referenced thematic data. The system is oriented to the general public, i.e. peop...
Gennady L. Andrienko, Natalia V. Andrienko
LICS
1999
IEEE
15 years 11 months ago
Type Inference for Recursive Definitions
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
A. J. Kfoury, Santiago M. Pericás-Geertsen
ICLP
1999
Springer
15 years 11 months ago
Comparing Trailing and Copying for Constraint Programming
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...
Christian Schulte