4100 search results - page 633 / 820 » General Linear Cameras |
197
click to vote
KBSE
2005
IEEE
16 years 21 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
191
click to vote
SMI
2005
IEEE
16 years 20 days ago
2005
IEEE
We propose an algorithm for contouring k-manifolds (k = 1, 2) embedded in an arbitrary n-dimensional space. We assume (n−k) geometric constraints are represented as polynomial e...
199
click to vote
HT
2005
ACM
16 years 20 days ago
2005
ACM
This paper describes our approach of using spatial hypertext as a means separated from an end representation for hypertext authoring. By taking advantage of the power of rich inte...
206
click to vote
MM
2005
ACM
16 years 20 days ago
2005
ACM
To better understand the content of multimedia, a lot of research efforts have been made on how to learn from multi-modal feature. In this paper, it is studied from a graph point ...
156
Voted
PLDI
2005
ACM
16 years 20 days ago
2005
ACM
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...