3317 search results - page 275 / 664 » Strategies in Rigid-Variable Methods |
185
click to vote
SAFECOMP
2007
Springer
16 years 23 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
167
click to vote
FGR
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents a novel method for 3D surface reconstruction based on a sparse set of 3D control points. For object classes such as human heads, prior information about the cl...
190
click to vote
SAC
2006
ACM
16 years 19 days ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
167
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
Conventional cache models are not suited for real-time parallel processing because tasks may flush each other’s data out of the cache in an unpredictable manner. In this way th...
138
click to vote
AIME
2005
Springer
16 years 6 days ago
2005
Springer
This paper aims at formalizing the concept of learning rules from multisource data in a cardiac monitoring context. Our method has been implemented and evaluated on learning from d...