9382 search results - page 329 / 1877 » A Functional Model for Data Analysis |
161
click to vote
APSEC
2005
IEEE
16 years 12 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
130
click to vote
CAISE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
210
click to vote
AUSAI
2005
Springer
16 years 9 days ago
2005
Springer
Most data-mining techniques seek a single model that optimizes an objective function with respect to the data. In many real-world applications several models will equally optimize...
160
click to vote
ICVGIP
2004
15 years 8 months ago
2004
We develop a novel method for fitting high-resolution template meshes to detailed human body range scans with sparse 3D markers. We formulate an optimization problem in which the ...
174
click to vote
NIPS
2001
15 years 8 months ago
2001
In many scientific and engineering applications, detecting and understanding differences between two groups of examples can be reduced to a classical problem of training a classif...