2203 search results - page 72 / 441 » Temporal Abstract Interpretation |
127
Voted
FLAIRS
2007
15 years 5 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
ICWSM
2009
15 years 1 months ago
2009
Current news interfaces are largely driven by recent information, even though many events are better interpreted in context of previous related events. To address this problem, we...
144
click to vote
ICISS
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we introduce a distortion free watermarking e for relational databases based on the Abstract Interpretation framework. The watermarking technique is partition based. ...
130
Voted
POPL
1994
ACM
15 years 7 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
122
click to vote
JOCN
2011
14 years 10 months ago
2011
orrelates of Abstract Verb Processing Javier Rodríguez-Ferreiro1 , Silvia P. Gennari2 , Robert Davies3 , and Fernando Cuetos4 ■ The present study investigated the neural correl...