Sciweavers

1285 search results - page 91 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
JACM
2000
131views more  JACM 2000»
15 years 13 days ago
The soft heap: an approximate priority queue with optimal error rate
A simple variant of a priority queue, called a soft heap, is introduced. The data structure supports the usual operations: insert, delete, meld, and findmin. Its novelty is to beat...
Bernard Chazelle
79
Voted
ICML
2004
IEEE
16 years 1 months ago
Testing the significance of attribute interactions
Attribute interactions are the irreducible dependencies between attributes. Interactions underlie feature relevance and selection, the structure of joint probability and classific...
Aleks Jakulin, Ivan Bratko
97
Voted
DEXAW
2005
IEEE
120views Database» more  DEXAW 2005»
15 years 6 months ago
Temporal Consistency in Nomadic Mobile Environment
This paper presents a model of a nomadic middleware system with support for temporal consistency of structures semantically associated to XML-documents. Specially defined high-lev...
Dmitry S. Kochnev, Tatiana Kochurova, Alexander Sl...
118
Voted
IANDC
2006
126views more  IANDC 2006»
15 years 19 days ago
Coalgebraic semantics for timed processes
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
Marco Kick, John Power, Alex Simpson
114
Voted
DAC
2007
ACM
16 years 1 months ago
Optimization of Area in Digital FIR Filters using Gate-Level Metrics
In the paper, we propose a new metric for the minimization of area in the generic problem of multiple constant multiplications, and demonstrate its effectiveness for digital FIR f...
Eduardo A. C. da Costa, José C. Monteiro, L...