10435 search results - page 341 / 2087 » Measuring system normality |
177
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
169
click to vote
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
We present a conceptual framework for location-aware community systems and results from two studies of how sociallydefined places influence people's information sharing and c...
171
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper, we present a coordinated video surveillance system that can minimize the spatial limitation and can precisely extract the 3D position of objects. To do this, our sy...
169
click to vote
LFP
1990
15 years 7 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
166
click to vote
ISM
2006
IEEE
16 years 22 days ago
2006
IEEE
The paper demonstrates a method of simultaneously testing the spatial and tonal resolution of a camera. Unlike the modulation transfer function which has been used in the past, th...