Sciweavers

1092 search results - page 113 / 219
» Understanding Context Before Using It
Sort
View
CONCUR
1994
Springer
13 years 12 months ago
Weak Sequential Composition in Process Algebras
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
Arend Rensink, Heike Wehrheim
ECOOP
2007
Springer
13 years 11 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
DATAMINE
2006
157views more  DATAMINE 2006»
13 years 7 months ago
Data Clustering with Partial Supervision
Clustering with partial supervision finds its application in situations where data is neither entirely nor accurately labeled. This paper discusses a semisupervised clustering algo...
Abdelhamid Bouchachia, Witold Pedrycz
CORR
2007
Springer
164views Education» more  CORR 2007»
13 years 7 months ago
Dynamic aspects of individual design activities. A cognitive ergonomics viewpoint
This paper focuses on the use of knowledge possessed by designers. Data collection was based on observations (by the cognitive ergonomics researcher) and simultaneous verbalisation...
Willemien Visser
TOG
2008
125views more  TOG 2008»
13 years 7 months ago
Factoring repeated content within and among images
We reduce transmission bandwidth and memory space for images by factoring their repeated content. A transform map and a condensed epitome are created such that all image blocks ca...
Huamin Wang, Yonatan Wexler, Eyal Ofek, Hugues Hop...