2573 search results - page 388 / 515 » Combinations of Modal Logics |
182
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
140
Voted
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
148
click to vote
ENTCS
2006
15 years 4 months ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
138
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
We address the issue of modelling facial expressions for realistic 3D avatar animation. We introduce a hierarchical decomposition of a human face into different components and mod...
115
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Satisfiability (SAT) solvers often benefit from a preprocessing of the formula to be decided. For formulae in conjunctive normal form (CNF), subsumed clauses may be removed or par...