Sciweavers

3921 search results - page 228 / 785
» Transforming Models with ATL
Sort
View
EMISA
2005
Springer
16 years 17 hour ago
A Model-Driven Approach for the Rapid Development of E-Negotiation Systems
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...
Morad Benyoucef, Stefanie Rinderle
EUROMICRO
2009
IEEE
15 years 10 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 8 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 7 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 10 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...