4445 search results - page 460 / 889 » Reflective Authorization Systems |
165
click to vote
JUCS
2006
15 years 6 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
215
click to vote
PAMI
2008
15 years 6 months ago
2008
In many computer vision systems, it is assumed that the image brightness of a point directly reflects the scene radiance of the point. However, the assumption does not hold in mos...
185
click to vote
PE
2008
Springer
15 years 6 months ago
2008
Springer
As the size of parallel computers increases, as well as the number of sources per router node, congestion inside the interconnection network rises significantly. In such systems, ...
204
click to vote
PAMI
2006
15 years 6 months ago
2006
We provide evidence that non-linear dimensionality reduction, clustering and data set parameterization can be solved within one and the same framework. The main idea is to define ...
228
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
The national importance of creating "content reflecting cutting edge developments in STEM fields" has been recognized the National Science Foundation. The National Resea...