Sciweavers

2056 search results - page 259 / 412
» time 2000
Sort
View
MOVEP
2000
136views Hardware» more  MOVEP 2000»
15 years 9 months ago
UPPAAL - Now, Next, and Future
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Ped...
158
Voted
IJON
2000
104views more  IJON 2000»
15 years 6 months ago
Harmonic analysis of spiking neuronal pairs
Harmonic analysis is applied to analyze the transmission of bandlimited signals via spike trains generated by a pair of leaky integrate-and-fire (LIF) model neurons organized in a...
Charles H. Anderson, Qingfeng Huang, John W. Clark
ICCD
2000
IEEE
75views Hardware» more  ICCD 2000»
16 years 3 months ago
Hybridizing and Coalescing Load Value Predictors
Most well-performing load value predictors are hybrids that combine multiple predictors into one. Such hybrids are often large. To reduce their size and to improve their performan...
Martin Burtscher, Benjamin G. Zorn
SIGGRAPH
2000
ACM
15 years 10 months ago
Silhouette clipping
Approximating detailed models with coarse, texture-mapped meshes results in polygonal silhouettes. To eliminate this artifact, we introduce silhouette clipping, a framework for ef...
Pedro V. Sander, Xianfeng Gu, Steven J. Gortler, H...
228
Voted
BMCV
2000
Springer
15 years 10 months ago
A New Line Segment Grouping Method for Finding Globally Optimal Line Segments
In this paper we propose a new method for extracting line segments from edge images. Our method basically follows a line segment grouping approach. This approach has many advantage...
Jeong-Hun Jang, Ki-Sang Hong