Sciweavers

1338 search results - page 204 / 268
» Consistent Code Generation from UML Models
Sort
View
150
Voted
CVPR
2012
IEEE
13 years 6 months ago
Unsupervised co-segmentation through region matching
Co-segmentation is defined as jointly partitioning multiple images depicting the same or similar object, into foreground and background. Our method consists of a multiplescale mu...
José C. Rubio, Joan Serrat, Antonio M. L&oa...
166
Voted
LICS
2012
IEEE
13 years 6 months ago
A Higher-Order Distributed Calculus with Name Creation
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
Adrien Piérard, Eijiro Sumii
142
Voted
PPOPP
2009
ACM
16 years 4 months ago
Software transactional distributed shared memory
We have developed a transaction-based approach to distributed shared memory(DSM) that supports object caching and generates path expression prefetches. A path expression specifies...
Alokika Dash, Brian Demsky
106
Voted
BIRTHDAY
2003
Springer
15 years 9 months ago
Using Alternating Words to Describe Symbolic Pictures
In this paper we present the concepts of drawn symbolic picture and symbolic picture. Such notions have been conceived as an extension of the concept of drawn pictures which was i...
Gennaro Costagliola, Vincenzo Deufemia, Filomena F...
117
Voted
ICAD
2004
15 years 5 months ago
Creating Functional and Livable Soundscapes for Peripheral Monitoring of Dynamic Data
Sonifications must be studied in order to match listener expectancies about data representation in the form of sound. In this study, a system was designed and implemented for dyna...
Brad S. Mauney, Bruce N. Walker