626 search results - page 59 / 126 » The Automatic Interpretation of Nominalizations |
POPL
2006
ACM
14 years 8 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
ESCIENCE
2007
IEEE
14 years 2 months ago
2007
IEEE
As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resou...
SAINT
2006
IEEE
14 years 1 months ago
2006
IEEE
Previous works on information extraction from tables make use of prior knowledge such as a cognition model of tables or lexical knowledge bases for specific domains. However, we ...
ICCV
2005
IEEE
14 years 1 months ago
2005
IEEE
— We present a general approach for the hierarchical segmentation and labeling of document layout structures. This approach models document layout as a grammar and performs a glo...