1567 search results - page 305 / 314 » A Mechanized Model of the Theory of Objects |
184
click to vote
ICTAC
2010
Springer
14 years 10 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
Our purpose is to provide an augmented reality system for Radio-Frequency guidance that could superimpose a 3D model of the liver, its vessels and tumors (reconstructed from CT ima...
ECCV
2006
Springer
16 years 1 months ago
2006
Springer
The paper introduces a new framework for feature learning in classification motivated by information theory. We first systematically study the information structure and present a n...
106
click to vote
STOC
2004
ACM
15 years 12 months ago
2004
ACM
The Collect problem for an asynchronous shared-memory system has the objective for the processors to learn all values of a collection of shared registers, while minimizing the tot...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...