Sciweavers

4218 search results - page 642 / 844
» Complete sets of cooperations
Sort
View
ACSC
2004
IEEE
14 years 2 months ago
Lossless Image Compression Using Pixel Reordering
Lossless image compression techniques typically consider images to be a sequence of pixels in row major order. The processing of each pixel consists of two separate operations. Th...
Michael Ciavarella, Alistair Moffat
ANNPR
2006
Springer
14 years 2 months ago
Hierarchical Neural Networks Utilising Dempster-Shafer Evidence Theory
Abstract. Hierarchical neural networks show many benefits when employed for classification problems even when only simple methods analogous to decision trees are used to retrieve t...
Rebecca Fay, Friedhelm Schwenker, Christian Thiel,...
CAV
2004
Springer
140views Hardware» more  CAV 2004»
14 years 2 months ago
Indexed Predicate Discovery for Unbounded System Verification
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
Shuvendu K. Lahiri, Randal E. Bryant
CGO
2004
IEEE
14 years 2 months ago
Using Dynamic Binary Translation to Fuse Dependent Instructions
Instruction scheduling hardware can be simplified and easily pipelined if pairs of dependent instructions are fused so they share a single instruction scheduling slot. We study an...
Shiliang Hu, James E. Smith
CAISE
2006
Springer
14 years 2 months ago
Semantic Annotation Framework to Manage Semantic Heterogeneity of Process Models
Effective discovery and sharing of process models within and/or across enterprises are important in process model management. A semantic annotation approach has been applied for sp...
Yun Lin, Darijus Strasunskas, Sari Hakkarainen, Jo...