15792 search results - page 2659 / 3159 » Computational Abstraction Steps |
195
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Completely iterative algebras (cias) are those algebras in which recursive equations have unique solutions. In this paper we study complete iterativity for algebras with ...
192
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
193
click to vote
CIVR
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we propose a multimedia categorization framework that is able to exploit information across different parts of a multimedia document (e.g., a Web page, a PDF, a Micr...
206
click to vote
CIVR
2009
Springer
16 years 1 months ago
2009
Springer
Contextual information is vital for the robust extraction of semantic information in automated surveillance systems. We have developed a scene independent framework for the detect...
196
click to vote
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider enhancing with privacy concerns a large class of auctions, which include sealed-bid single-item auctions but also general multi-item multi-winner auctions, ou...