1005 search results - page 152 / 201 » Patterns for Refinement Automation |
208
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
141
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
139
click to vote
ISQED
2006
IEEE
15 years 11 months ago
2006
IEEE
Design for Manufacturability (DFM) is becoming increasingly important as process geometries shrink. Conventional design rule pass/fail is not adequate to quantify DFM compliance. ...
168
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
176
click to vote
CA
1998
IEEE
15 years 9 months ago
1998
IEEE
The importance of faces in human interaction explains the desire for synthetic faces as a communication vehicle in computer graphics. Unfortunately, animating a face is a very com...