1137 search results - page 83 / 228 » Partial Program Admission |
TBILLC
2005
Springer
15 years 8 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deï...
143
click to vote
TYPES
2000
Springer
15 years 6 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
121
click to vote
STACS
1991
Springer
15 years 6 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
95
Voted
EACL
2006
ACL Anthology
15 years 3 months ago
2006
ACL Anthology
We report work1 in progress on adding affect-detection to an existing program for virtual dramatic improvisation, monitored by a human director. To partially automate the director...
130
Voted
AMC
2007
15 years 2 months ago
2007
In this paper we present the method of lines for the numerical solution of a mathematical model for capillary formation in two space dimensions x,y. We study the tumor angiogenic ...