Sciweavers

660 search results - page 104 / 132
» The EMF Model Transformation Framework
Sort
View
TACS
1997
Springer
15 years 9 months ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori
DLOG
2007
15 years 8 months ago
Distributed Description Logics Revisited
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
Martin Homola
TCC
2009
Springer
160views Cryptology» more  TCC 2009»
16 years 6 months ago
Simple, Black-Box Constructions of Adaptively Secure Protocols
We present a compiler for transforming an oblivious transfer (OT) protocol secure against an adaptive semi-honest adversary into one that is secure against an adaptive malicious ad...
Seung Geol Choi, Dana Dachman-Soled, Tal Malkin, H...
CANDC
2009
ACM
16 years 13 days ago
Growing and destroying the worth of ideas
This paper presents a novel computational approach to the study of creativity. In particular, it discusses a modeling framework that addresses the worth of ideas ascribed by agent...
Ricardo Sosa, John S. Gero, Kyle Jennings
ACCV
2007
Springer
16 years 2 days ago
Multiperspective Distortion Correction Using Collineations
We present a new framework for correcting multiperspective distortions using collineations. A collineation describes the transformation between the images of a camera due to change...
Yuanyuan Ding and Jingyi Yu