1689 search results - page 97 / 338 » Refining abstract interpretations |
162
click to vote
ECOOP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
157
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
This paper presents a simple and intuitive method for mining search engine query logs to get fast query recommendations on a large scale industrial-strength search engine. In orde...
159
click to vote
JCB
2006
15 years 4 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
DALT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
ECAI
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their con...