7109 search results - page 1350 / 1422 » Process Algebra with Combinators |
132
Voted
3DPVT
2002
IEEE
15 years 8 months ago
2002
IEEE
—We present a new technique for estimating the 3D shape of an object that combines previous ideas from shape from silhouettes and shape from shadows. We begin with a set-up for r...
144
Voted
AIPR
2002
IEEE
15 years 8 months ago
2002
IEEE
Light spectroscopic methods are critical to advances in molecular characterization of disease processes. However, these methods have been limited to in-vitro or cell culture studi...
100
click to vote
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...
122
Voted
DEXAW
2002
IEEE
15 years 8 months ago
2002
IEEE
In most electronic auctions conducted over the Internet today price is still the only decision criteria for the best bid. This is true for all sorts of auctions in the electronic ...
121
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
View Synchrony (VS) is a powerful abstraction in the design and implementation of dependable distributed systems. By ensuring that processes deliver the same set of messages in ea...