Sciweavers

2272 search results - page 1 / 455
» Validity Invariants and Effects
Sort
View
ECOOP
2007
Springer
13 years 8 months ago
Validity Invariants and Effects
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
Yi Lu 0003, John Potter, Jingling Xue
ISBI
2008
IEEE
14 years 5 months ago
Invariant 3D spharm features for characterizing fMRI activations in ROIs while minimizing effects of intersubject anatomical var
Spatial patterns of activation statistics within anatomically-defined regions of interest (ROIs) in functional magnetic resonance imaging (fMRI) data were recently shown to be sen...
Ashish Uthama, Rafeef Abugharbieh, Samantha J. Pal...
BIRTHDAY
2003
Springer
13 years 8 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
ICMCS
2007
IEEE
223views Multimedia» more  ICMCS 2007»
13 years 11 months ago
An Effective Local Invariant Descriptor Combining Luminance and Color Information
Extraction of stable local invariant features is very important in many computer vision applications, such as image matching, object recognition and image retrieval. Most existing...
Dong Zhang, Weiqiang Wang, Wen Gao, Shuqiang Jiang
ICDM
2008
IEEE
156views Data Mining» more  ICDM 2008»
13 years 11 months ago
Exploiting Local and Global Invariants for the Management of Large Scale Information Systems
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
Haifeng Chen, Haibin Cheng, Guofei Jiang, Kenji Yo...