1413 search results - page 198 / 283 » Bisimilarity of Open Terms |
135
click to vote
ECCC
2007
15 years 6 months ago
2007
We introduce the notion of a Canonical Tester for a class of properties on distributions, that is, a tester strong and general enough that “a distribution property in the class ...
154
click to vote
PAMI
2006
15 years 6 months ago
2006
We propose a system that is capable of detailed analysis of eye region images in terms of the position of the iris, degree of eyelid opening, and the shape, complexity, and texture...
150
click to vote
SIAMSC
2008
15 years 6 months ago
2008
We show how to derive time implicit formulations of relaxation schemes for the Euler equations for real materials in several space dimensions. In the fully time explicit setting, t...
149
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Virtual laboratories are a potential replacement for standard laboratory facilities. Use of these virtual resources can reduce cost and maintenance overheads for teaching institut...
163
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...