81 search results - page 9 / 17 » Semantic Structure Analysis of Noun Phrases using Abstract M... |
155
click to vote
ESOP
2007
Springer
16 years 5 days 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 ...
202
click to vote
LICS
2009
IEEE
16 years 19 days 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...
183
click to vote
ADAEUROPE
2008
Springer
16 years 10 days 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...
164
click to vote
CLEF
2005
Springer
15 years 11 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...
199
click to vote
DASFAA
2008
IEEE
16 years 14 days 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...