Sciweavers

2596 search results - page 79 / 520
» Gradual Typing for Objects
Sort
View
ECOOP
2007
Springer
15 years 7 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
ER
1999
Springer
135views Database» more  ER 1999»
15 years 7 months ago
Towards an Automatic Integration of Statecharts
Abstract. The integration of statecharts is part of an integration methodology for object oriented views. Statecharts are the most important language for the representation of the ...
Heinz Frank, Johann Eder
TOG
2012
184views Communications» more  TOG 2012»
13 years 5 months ago
Image melding: combining inconsistent images using patch-based synthesis
Current methods for combining two different images produce visible artifacts when the sources have very different textures and structures. We present a new method for synthesizing...
Soheil Darabi, Eli Shechtman, Connelly Barnes, Dan...
IJCSA
2006
76views more  IJCSA 2006»
15 years 3 months ago
Intelligent Naming System: An Alternative for Enterprise Naming Management
People use "name" in general to reference things easily. In addition, one name may refer to various types of things or objects (one name
Ladda Preechaveerakul, Pattarasinee Bhattarakosol
157
Voted
EDBT
2012
ACM
291views Database» more  EDBT 2012»
13 years 5 months ago
Relevance search in heterogeneous networks
Conventional research on similarity search focuses on measuring the similarity between objects with the same type. However, in many real-world applications, we need to measure the...
Chuan Shi, Xiangnan Kong, Philip S. Yu, Sihong Xie...