3167 search results - page 450 / 634 » Algorithmic Representation of Visual Information |
224
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
CHI
2007
ACM
16 years 2 months ago
2007
ACM
Scrolling is an essential part of our everyday computing experience. Contemporary scrolling techniques rely on the explicit initiation of scrolling by the user. The act of scrolli...
105
click to vote
MM
2009
ACM
15 years 8 months ago
2009
ACM
In this technical demonstration we show a web video search engine based on ontologies, the Sirio1 system, that has been developed within the EU VidiVideo project. The goal of the ...
141
click to vote
ISVC
2005
Springer
15 years 7 months ago
2005
Springer
Augmented reality (AR) provides an intuitive user interface to present information in the context of the real world. A common application is to overlay screen-aligned annotations f...
111
click to vote
ESEM
2007
ACM
15 years 5 months ago
2007
ACM
Providing robust decision support for software engineering (SE) requires the collection of data across multiple contexts so that one can begin to elicit the context variables that...