4211 search results - page 87 / 843 » Types as Abstract Interpretations |
102
Voted
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
d abstract) Takahito Aoto† Toshiyuki Yamada‡
135
click to vote
FPCA
1995
15 years 7 months ago
1995
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
123
Voted
AAAI
2004
15 years 4 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
126
click to vote
INEX
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. There has been much debate over how to interpret the structure in queries that contain structural hints. At INEX 2003 and 2004, there were two interpretations: SCAS in wh...
112
Voted
AUSAI
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Automated image interpretation is an important task in numerous applications ranging from security systems to natural resource inventorization based on remote-sensing. Re...