1411 search results - page 37 / 283 » Interactive Coding for Interactive Proofs |
TPHOL
1999
IEEE
14 years 3 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
IWINAC
2007
Springer
14 years 5 months ago
2007
Springer
Emergent interactions that are expressed by the movements of two agents are discussed in this paper. The common coding principle is used to show how the mirror neuron system may fa...
CN
1999
13 years 10 months ago
1999
Interactive web services are increasingly replacing traditional static web pages. Producing web services seems to require a tremendous amount of laborious lowlevel coding due to t...
RECOMB
2007
Springer
14 years 11 months ago
2007
Springer
Molecular interaction databases can be used to study the evolution of molecular pathways across species. Querying such pathways is a challenging computational problem, and recent e...
VISSOFT
2005
IEEE
14 years 4 months ago
2005
IEEE
Sequence diagrams are commonly used to represent object interactions in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code, are becom...