11462 search results - page 1877 / 2293 » Developing Application-Centric Methods |
235
click to vote
ICCV
1999
IEEE
15 years 12 months ago
1999
IEEE
We show that the set of all ow- elds in a sequence of frames imaging a rigid scene resides in a lowdimensional linear subspace. Based on this observation, we develop a method for ...
204
click to vote
ICMCS
1999
IEEE
15 years 12 months ago
1999
IEEE
Owing to the recent development of digital broadcasting technology such as Satellite, CATV, the Internet and the expansion of the network systems, the amount of video data we can ...
208
click to vote
IPPS
1999
IEEE
15 years 12 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
221
click to vote
IPPS
1999
IEEE
15 years 12 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
163
click to vote
ISCAS
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper describes the design of a low-voltage translinear second-order quadrature oscillator. The circuit is a direct implementation of a nonlinear second-order state-space desc...