81 search results - page 9 / 17 » Semantic Structure Analysis of Noun Phrases using Abstract M... |
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
121
click to vote
LICS
2009
IEEE
15 years 5 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
104
click to vote
ADAEUROPE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
CLEF
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
115
click to vote
DASFAA
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. Recently, we have proposed a novel method for the compression of time series based on mathematical models that explore dependencies between different time series. This r...