Sciweavers

13026 search results - page 2259 / 2606
» Probabilistic Relational Models
Sort
View
PPDP
2007
Springer
15 years 11 months ago
Interactive, scalable, declarative program analysis: from prototype to implementation
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
William C. Benton, Charles N. Fischer
SAMT
2007
Springer
136views Multimedia» more  SAMT 2007»
15 years 11 months ago
Ontology-Driven Semantic Video Analysis Using Visual Information Objects
In this paper, an ontology-driven approach for the semantic analysis of video is proposed. This approach builds on an ontology infrastructure and in particular a multimedia ontolog...
Georgios Th. Papadopoulos, Vasileios Mezaris, Ioan...
SG
2007
Springer
15 years 11 months ago
Correlating Text and Images: Concept and Evaluation
This paper presents the concept and an evaluation of a novel approach to support students to understand complex spatial relations and to learn unknown terms of a domain-specific t...
Timo Götzelmann, Pere-Pau Vázquez, Knu...
TCC
2007
Springer
102views Cryptology» more  TCC 2007»
15 years 11 months ago
Perfect NIZK with Adaptive Soundness
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...
Masayuki Abe, Serge Fehr
VAMOS
2007
Springer
15 years 11 months ago
An Aspect-oriented Approach for Representing Variability in Product Line Architecture
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
Youngbong Kim, Mikyeong Moon, Keunhyuk Yeom
« Prev « First page 2259 / 2606 Last » Next »