6040 search results - page 413 / 1208 » Generating Instance Models from Meta Models |
186
click to vote
EMNLP
2010
15 years 4 months ago
2010
Discovering and summarizing opinions from online reviews is an important and challenging task. A commonly-adopted framework generates structured review summaries with aspects and ...
174
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
228
click to vote
PAMI
2008
15 years 6 months ago
2008
This paper presents a hierarchical-compositional model of human faces, as a three-layer AND-OR graph to account for the structural variabilities over multiple resolutions. In the A...
171
click to vote
SAT
2005
Springer
16 years 8 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
220
click to vote
TVLSI
2008
15 years 6 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...