2702 search results - page 452 / 541 » Practically Applicable Formal Methods |
127
click to vote
TSP
2008
15 years 2 months ago
2008
Graphical models provide a powerful formalism for statistical signal processing. Due to their sophisticated modeling capabilities, they have found applications in a variety of fie...
149
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
138
click to vote
EMSOFT
2010
Springer
15 years 5 days ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
143
Voted
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
In the standard formalization of supervised learning problems, a datum is represented as a vector of features without prior knowledge about relationships among features. However, ...
121
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
This paper introduces an approach of creating face makeup upon a face image with another image as the style example. Our approach is analogous to physical makeup, as we modify the ...