1128 search results - page 31 / 226 » Little Engines of Proof |
60
Voted
JSYML
2008
14 years 9 months ago
2008
When restricted to proving q i formulas, the quantified propositional proof system G i is closely related to the b i theorems of Buss's theory Si 2. Namely, G i has polynomial...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Problems and Programmers is an educational card game that we have developed to help teach software engineering. It is based on the observation that students, in a typical software...
95
Voted
MM
2004
ACM
15 years 2 months ago
2004
ACM
Web image search engine has become an important tool to organize digital images on the Web. However, most commercial search engines still use a list presentation while little effo...
FECS
2006
14 years 11 months ago
2006
Educators teaching software engineering face a large problem when trying to assign "real world" projects. Should the instructors make up "real world" projects ...
STTT
2008
14 years 9 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...