Sciweavers

1140 search results - page 205 / 228
» A Model Driven Framework for IT Transformation
Sort
View
ICDT
1990
ACM
110views Database» more  ICDT 1990»
15 years 6 months ago
Beginnings of a Theory of General Database Completions
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
Stefan Brass
AMR
2006
Springer
137views Multimedia» more  AMR 2006»
15 years 5 months ago
A General Principled Method for Image Similarity Validation
A novel and general criterion for image similarity validation is introduced using the so-called a contrario decision framework. It is mathematically proved that it is possible to c...
Frédéric Cao, Patrick Bouthemy
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 5 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
EUC
2008
Springer
15 years 3 months ago
Communications via Systems-on-Chips Clustering in Large-Scaled Sensor Networks
In this paper, we have proposed a framework of systems-on-chips clustering in application to complicated sensor networks. The framework can be applied to address the communication ...
Sharon Fan, Jeffrey Fan, Kia Makki, Niki Pissinou
IE
2007
15 years 3 months ago
Dramatic flow in interactive 3D narrative
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...
Alyx Macfadyen, Andrew Stranieri, John Yearwood