Sciweavers

962 search results - page 102 / 193
» Efficient Algorithms for Eulerian Extension
Sort
View
GECCO
2003
Springer
182views Optimization» more  GECCO 2003»
15 years 9 months ago
Spatial Operators for Evolving Dynamic Bayesian Networks from Spatio-temporal Data
Learning Bayesian networks from data has been studied extensively in the evolutionary algorithm communities [Larranaga96, Wong99]. We have previously explored extending some of the...
Allan Tucker, Xiaohui Liu, David Garway-Heath
IDEAL
2003
Springer
15 years 9 months ago
Towards a Terabyte Digital Library System
In China-US Million Book Digital Library, output of the digitalization process is more than one terabyte of text in OEB and PDF format. To access these data quickly and accurately,...
Hao Ding, Yun Lin, Bin Liu
RT
2001
Springer
15 years 8 months ago
Opacity Shadow Maps
Opacity shadow maps approximate light transmittance inside a complex volume with a set of planar opacity maps. A volume made of standard primitives (points, lines, and polygons) i...
Tae-Yong Kim 0002, Ulrich Neumann
RTSS
1999
IEEE
15 years 8 months ago
Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel
Many scheduling paradigms have been studied for realtime applications and real-time communication network. Among them, the most commonly used paradigms include priority-driven, ti...
Yu-Chung Wang, Kwei-Jay Lin
ACSD
1998
IEEE
90views Hardware» more  ACSD 1998»
15 years 8 months ago
Verification of Pipelined Microprocessors by Correspondence Checking in Symbolic Ternary Simulation
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
Miroslav N. Velev, Randal E. Bryant