31686 search results - page 244 / 6338 » Resource typing in Guru |
117
Voted
IMR
2003
Springer
15 years 10 months ago
2003
Springer
This paper describes the creation of a new type of size function – the mesh size function that honors the existing mesh on premeshed geometry entities and radiates the mesh size...
177
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
118
click to vote
TPHOL
1992
IEEE
15 years 9 months ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
121
click to vote
ZUM
2000
Springer
15 years 9 months ago
2000
Springer
We propose an extension to Z whereby generic parameters may have their types partially constrained. Using this mechanism it becomes possible to dene in Z much of its own schema cal...
143
click to vote
NAACL
2007
15 years 7 months ago
2007
Dependency analysis of natural language gives rise to non-projective structures. The constraint of well-nestedness on dependency trees has been recently shown to give a good fit ...