3066 search results - page 230 / 614 » On Facilitating Automated Evaluation |
221
click to vote
PADL
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
328
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
189
click to vote
ICCV
2003
IEEE
16 years 9 months ago
2003
IEEE
3D Morphable Models, as a means to generate images of a class of objects and to analyze them, have become increasingly popular. The problematic part of this framework is the regis...
315
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
With an ever growing complexity and data volume, the administration of today's relational database management systems has become one of the most important cost factors in thei...
317
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
A fundamental problem in information integration is that of designing the relationships, called schema mappings, between two schemas. The specification of a semantically correct sc...