Sciweavers

2498 search results - page 89 / 500
» Data Structures with Unpredictable Timing
Sort
View
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
15 years 4 months ago
QuteSAT: a robust circuit-based SAT solver for complex circuit structure
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang...
GW
2003
Springer
100views Biometrics» more  GW 2003»
15 years 3 months ago
Performance Gestures of Musicians: What Structural and Emotional Information Do They Convey?
Abstract. This paper analyzes how expressive gestures of a professional clarinetist contribute to the perception of structural and emotional information in musical performance. The...
Bradley W. Vines, Marcelo M. Wanderley, Carol Krum...
DATAMINE
2007
135views more  DATAMINE 2007»
14 years 9 months ago
Experiencing SAX: a novel symbolic representation of time series
Many high level representations of time series have been proposed for data mining, including Fourier transforms, wavelets, eigenwaves, piecewise polynomial models etc. Many researc...
Jessica Lin, Eamonn J. Keogh, Li Wei, Stefano Lona...
IPPS
1998
IEEE
15 years 2 months ago
Memory Hierarchy Management for Iterative Graph Structures
The increasing gap in processor and memory speeds has forced microprocessors to rely on deep cache hierarchies to keep the processors from starving for data. For many applications...
Ibraheem Al-Furaih, Sanjay Ranka
COMPGEOM
2010
ACM
15 years 2 months ago
Orthogonal range reporting: query lower bounds, optimal structures in 3-d, and higher-dimensional improvements
Orthogonal range reporting is the problem of storing a set of n points in d-dimensional space, such that the k points in an axis-orthogonal query box can be reported efficiently. ...
Peyman Afshani, Lars Arge, Kasper Dalgaard Larsen