511 search results - page 1 / 103 » More Precise Partition Abstractions |
VMCAI
2007
Springer
13 years 11 months ago
2007
Springer
LICS
2006
IEEE
13 years 11 months ago
2006
IEEE
TREC
2001
13 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...
ECOOP
2007
Springer
13 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...
VMCAI
2009
Springer
14 years 5 days 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...