10891 search results - page 374 / 2179 » Combining Model Reductions |
143
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
169
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
146
click to vote
CVPR
1999
IEEE
16 years 7 months ago
1999
IEEE
We introduce in this paper a new face coding and recognition method which employs the Enhanced FLD (Fisher Linear Discrimimant) Model (EFM)on integrated shape (vector) and texture...
132
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Active research is being conducted in reducing power consumption of all the components of the Internet. To that end, we propose schemes for power reduction in network switches - T...
150
click to vote
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
This communication deals with data reduction and regression. A set of high dimensional data (e.g., images) usually has only a few degrees of freedom with corresponding variables t...