22864 search results - page 275 / 4573 » An Integrated and |
155
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning en...
218
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
177
click to vote
STOC
2007
ACM
16 years 7 months ago
2007
ACM
We study linear programming relaxations of Vertex Cover and Max Cut arising from repeated applications of the "lift-and-project" method of Lovasz and Schrijver starting ...
159
Voted
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
I describe the format of the new version of an introductory database course that I taught at the University of Washington in Winter, 2003. The key idea underlying the course is to...
134
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
This paper argues for a model-driven framework for integrating human interface engineering with software engineering. The usage-centered design process, a robust and proven proces...