740 search results - page 128 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
115
click to vote
EDBT
1990
ACM
15 years 5 months ago
1990
ACM
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
114
click to vote
USENIX
1994
15 years 2 months ago
1994
The Whitehead Institute/MIT Center for Genome Research is responsible for a number of large genome mapping efforts, the scale of which create problems of data and workflow managem...
128
click to vote
CBSE
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
CHI
2010
ACM
15 years 8 months ago
2010
ACM
People strive to obtain self-knowledge. A class of systems called personal informatics is appearing that help people collect and reflect on personal information. However, there is...
122
click to vote
CGF
2010
15 years 1 months ago
2010
Kinematics is the analysis of motions without regarding forces or inertial effects, with the purpose of understanding joint behaviour. Kinematic data of linked joints, for example...