4099 search results - page 629 / 820 » A Framework for Interactive Proof |
159
Voted
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
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...
151
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
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...
145
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Simulation and optimization of complex mechanical and electronical systems is a very time consuming and computationally intensive task. Therefore, metamodeling techniques are ofte...
140
Voted
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
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...
167
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...