31686 search results - page 224 / 6338 » Resource typing in Guru |
100
Voted
BMCBI
2007
15 years 25 days ago
2007
Background: Lately, there has been a great interest in the application of information extraction methods to the biomedical domain, in particular, to the extraction of relationship...
122
click to vote
AIM
2005
15 years 19 days ago
2005
Intelligent access to information requires semantic integration of structured databases with unstructured textual resources. While the semantic integration problem has been widely...
121
Voted
CADE
2003
Springer
16 years 1 months ago
2003
Springer
A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer's logic PF by enriching the type system of the logic with subset ty...
75
Voted
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We describe a monad for checked, explicitly typed exceptions, which provides as a simple Haskell library what for other languages is a native feature. Multi parameter typ...
108
Voted
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...