Sciweavers

4099 search results - page 629 / 820
» A Framework for Interactive Proof
Sort
View
219
Voted
ERCIMDL
2007
Springer
110views Education» more  ERCIMDL 2007»
16 years 1 months ago
Annotation-Based Document Retrieval with Probabilistic Logics
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
Ingo Frommholz
ACCV
2007
Springer
16 years 1 months 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
CCGRID
2006
IEEE
16 years 1 months ago
Integrating Gridcomputing and Metamodeling
Simulation and optimization of complex mechanical and electronical systems is a very time consuming and computationally intensive task. Therefore, metamodeling techniques are ofte...
Dirk Gorissen, Wouter Hendrickx, Karel Crombecq, T...
EDOC
2006
IEEE
16 years 1 months ago
Specifying and Controlling Multi-Channel Web Interfaces for Enterprise Applications
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
Matthias Book, Volker Gruhn
219
Voted
EUROMICRO
2006
IEEE
16 years 1 months ago
Visualization of Areas of Interest in Component-Based System Architectures
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
Heorhiy Byelas, Egor Bondarev, Alexandru Telea