Sciweavers

77016 search results - page 463 / 15404
» Modeling Modeling
Sort
View
ICIP
2004
IEEE
16 years 8 months ago
Statistical transformations of frontal models for non-frontal face verification
In the framework of a face verification system using local features and a Gaussian Mixture Model based classifier, we address the problem of non-frontal face verification (when on...
Conrad Sanderson, Samy Bengio
162
Voted
MDAFA
2004
Springer
116views Hardware» more  MDAFA 2004»
16 years 7 days ago
"Weaving" MTL Model Transformations
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
Raul Silaghi, Frédéric Fondement, Al...
ICCAD
2006
IEEE
147views Hardware» more  ICCAD 2006»
16 years 3 months ago
Analysis and modeling of CD variation for statistical static timing
Statistical static timing analysis (SSTA) has become a key method for analyzing the effect of process variation in aggressively scaled CMOS technologies. Much research has focused...
Brian Cline, Kaviraj Chopra, David Blaauw, Yu Cao
SEMWEB
2009
Springer
16 years 1 months ago
Scalable Matching of Industry Models - a Case Study
A recent approach to the problem of ontology matching has been to convert the problem of ontology matching to information retrieval. We explore the utility of this approach in matc...
Brian Byrne, Achille Fokoue, Aditya Kalyanpur, Kav...
141
Voted
ATAL
2007
Springer
16 years 1 months ago
Model Checking Norms and Sanctions in Institutions
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciï...
Francesco Viganò, Marco Colombetti
« Prev « First page 463 / 15404 Last » Next »