Sciweavers

3885 search results - page 217 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
EUROMICRO
2009
IEEE
15 years 9 months ago
Using JavaBeans to Realize a Domain-Specific Component Model
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
Juraj Feljan, Jan Carlson, Mario Zagar
CONCUR
2006
Springer
15 years 7 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
ECCV
2010
Springer
15 years 6 months ago
Adapting Visual Category Models to New Domains
Abstract. Domain adaptation is an important emerging topic in computer vision. In this paper, we present one of the first studies of domain shift in the context of object recogniti...
Kate Saenko, Brian Kulis, Mario Fritz, Trevor Darr...
ICASSP
2011
IEEE
14 years 8 months ago
Informative dialect recognition using context-dependent pronunciation modeling
We propose an informative dialect recognition system that learns phonetic transformation rules, and uses them to identify dialects. A hidden Markov model is used to align referenc...
Nancy F. Chen, Wade Shen, Joseph P. Campbell, Pedr...
CVPR
2008
IEEE
16 years 7 months ago
3D model matching with Viewpoint-Invariant Patches (VIP)
The robust alignment of images and scenes seen from widely different viewpoints is an important challenge for camera and scene reconstruction. This paper introduces a novel class ...
Changchang Wu, Brian Clipp, Xiaowei Li, Jan-Michae...