9382 search results - page 329 / 1877 » A Functional Model for Data Analysis |
182
Voted
APSEC
2005
IEEE
16 years 1 months 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...
159
Voted
CAISE
2004
Springer
16 years 25 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...
228
click to vote
AUSAI
2005
Springer
16 years 1 months 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...
182
Voted
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 ...
197
Voted
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...