3713 search results - page 499 / 743 » Constructing a Calculus of Programs |
123
click to vote
IADIS
2004
15 years 5 months ago
2004
The paper focuses on the cognitive contribution of visual experiences to learning in a higher education setting. Specifically, it examines whether the use of students' imagin...
141
click to vote
PTS
2000
15 years 5 months ago
2000
Coverage analysis of programs and specifications is a common approach to measure the quality and the adequacy of a test suite. This paper presents a probe insertion technique for m...
124
click to vote
ISMB
1997
15 years 5 months ago
1997
Seq7 is a newprogramfor generating multiple structure-based alignments of RNAsequences. Byusing a variant of Dijkstra’s algorithm to find the shortest path through a specially c...
126
click to vote
AAAI
1993
15 years 5 months ago
1993
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
137
click to vote
AAAI
1994
15 years 5 months ago
1994
or untagged treebanks. ' When trained on an untagged This paper presents a method for constructing deterministic Prolog parsers from corpora of parsed sentences. Our approach ...