3342 search results - page 352 / 669 » Automating Abstract Interpretation |
125
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- In this paper, we investigate a cooperative estimation problem for visual sensor networks based on multiagent optimization techniques. A passivity-based visual motion ob...
138
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
150
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
145
click to vote
IJIIDS
2010
14 years 11 months ago
2010
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
147
click to vote
JCIT
2010
14 years 11 months ago
2010
As a new paradigm for data warehousing demanded by today's decision support community, DW 2.0 recognized the life cycle of data with it, that make metadata evolution mechanis...