Sciweavers

571 search results - page 40 / 115
» Modeling and Analysis of Space Based Transceivers
Sort
View
125
Voted
SMI
2008
IEEE
126views Image Analysis» more  SMI 2008»
15 years 10 months ago
SHREC'08 entry: Semi-supervised learning for semantic 3D model retrieval
A shape feature by itself is not sufficient for effective 3D model retrieval. Long-lasting semantics shared by a community as well as a short-lived intention of a user determines ...
Akihiro Yamamoto, Masaki Tezuka, Toshiya Shimizu, ...
JMIV
2010
78views more  JMIV 2010»
15 years 2 months ago
Mathematical Modeling of Textures: Application to Color Image Decomposition with a Projected Gradient Algorithm
: In this paper, we are interested in texture modeling with functional analysis spaces. We focus on the case of color image processing, and in particular color image decomposition....
Vincent Duval, Jean-François Aujol, Luminit...
178
Voted
TAOSD
2010
15 years 2 months ago
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christo...
ICSM
2002
IEEE
15 years 8 months ago
STA - A Conceptual Model for System Evolution
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
Markus Pizka
142
Voted
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
15 years 5 months ago
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakris...