3710 search results - page 255 / 742 » A new calculus of contexts |
228
click to vote
FM
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
209
click to vote
JECR
2000
15 years 7 months ago
2000
Traditional supply chain management utilized traditional media and channels to link firms in linear, inefficient relationships. The advent of electronic commerce over the Internet...
177
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a novel method for the fast computation of rotation invariant "local binary patterns" (LBP) on 3D volume data. Unlike a previous publication on 3D LBP, this n...
208
click to vote
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
This paper presents a new method for computing elastic and plastic deformations in the context of discrete deformable model-based registration. Internal forces are estimated by ave...
176
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a framework that enables the use of traditional feature selection algorithms in a new context - for building a set of subsets of specified properties. During the course...