11212 search results - page 519 / 2243 » Semi-persistent Data Structures |
161
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
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 ...
157
click to vote
IJCNN
2006
IEEE
16 years 29 days ago
2006
IEEE
Abstract— We present a method for exploratory data analysis of large spatiotemporal data sets such as global longtime climate measurements, extending our previous work on semibli...
175
click to vote
GW
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. This paper analyzes how expressive gestures of a professional clarinetist contribute to the perception of structural and emotional information in musical performance. The...
178
click to vote
INFOVIS
1999
IEEE
15 years 11 months ago
1999
IEEE
Interactive selection is a critical component in exploratory visualization, allowing users to isolate subsets of the displayed information for highlighting, deleting, analysis, or...
148
click to vote
MMM
2007
Springer
16 years 1 months ago
2007
Springer
Content-based retrieval of 3D human motion capture data has significant impact in different fields such as physical medicine, rehabilitation, and animation. This paper develops ...