4987 search results - page 219 / 998 » Support Ordered Resolution |
142
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
A real-time visual processing system using a generalpurpose vision chip, an image sensor in which photo detectors and processing elements are integrated, is described. In order to...
111
click to vote
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
Delta-sigma modulation for analog-to-digital conversion resolves a number of bits logarithmic in the number of modulation cycles, and linear in modulation order. As an alternative...
130
click to vote
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
This paper presents a Japanese information retrieval method using the dependency relationship between words and semantic and statistical information about them. Our method gives a...
124
Voted
RTCSA
2000
IEEE
15 years 7 months ago
2000
IEEE
Although an optimistic approach has been shown to be better suited than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and h...
128
Voted
CADE
1990
Springer
15 years 7 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...