511 search results - page 1 / 103 » More Precise Partition Abstractions |
115
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
164
click to vote
TREC
2001
15 years 6 months ago
2001
The TREC-2001 Web track evaluation experiments at the Justsystem site are described with a focus on the "aboutness" based approach in text retrieval. In the web ad hoc t...
141
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
133
click to vote
VMCAI
2009
Springer
15 years 11 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...