1300 search results - page 184 / 260 » cluster 2010 |
163
click to vote
CAP
2010
15 years 29 days ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
145
click to vote
IEEEVAST
2010
15 years 24 days ago
2010
Insight Externalization (IE) refers to the process of capturing and recording the semantics of insights in decision making and problem solving. To reduce human effort, Automated I...
165
click to vote
IEEEVAST
2010
15 years 24 days ago
2010
Visualization of multi-dimensional data is challenging due to the number of complex correlations that may be present in the data but that are difficult to be visually identified. ...
197
click to vote
IJCV
2010
15 years 24 days ago
2010
In this paper, we address the problem of photometric invariance in multispectral imaging making use of an optimisation approach based upon the dichromatic model. In this manner, w...
140
click to vote
INTERSPEECH
2010
15 years 23 days ago
2010
Multi-pitch estimation of co-channel speech is especially challenging when the underlying pitch tracks are close in pitch value (e.g., when pitch tracks cross). Building on our pr...