941 search results - page 139 / 189 » The Second Order Particle System |
ICFP
2000
ACM
14 years 3 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
CBMS
1997
IEEE
14 years 3 months ago
1997
IEEE
This paper presents a novel method for CT head image automatic segmentation. The images are obtained from patients having the spontaneous intra cerebral brain hemorrhage ICH . Th...
CHI
1996
ACM
14 years 3 months ago
1996
ACM
We have designed two sets of communication tools to enable telepresence in groups who work in different locations. Afterwards we evaluated the tools. Studie (A), in the first grou...
ARITH
1993
IEEE
14 years 3 months ago
1993
IEEE
This paper describes a logarithmic number system (LNS) arithmetic unit using a new methodfor polynomial interpolation in hardware. The use of an interleaved memory reduces storage...
ICCAD
1994
IEEE
14 years 3 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...