1456 search results - page 132 / 292 » Two Techniques to Improve Finite Model Search |
ISLPED
2006
ACM
14 years 2 months ago
2006
ACM
—An increasing number of architectural techniques rely on hardware counting bloom filters (CBFs) to improve upon the enegy, delay and complexity of various processor structures. ...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
Matching and registration of shapes is a key issue in Computer Vision, Pattern Recognition, and Medical Image Analysis. This paper presents a shape representation framework based ...
ICASSP
2010
IEEE
13 years 6 months ago
2010
IEEE
Prosodic information has been successfully used for speaker recognition for more than a decade. The best-performing prosodic system to date has been one based on features extracte...
MASCOTS
2008
13 years 9 months ago
2008
Commercial servers, such as database or application servers, often attempt to improve performance via multithreading. Improper multi-threading architectures can incur contention, ...
ECIR
2006
Springer
13 years 9 months ago
2006
Springer
We research whether the inclusion of information about an information user's social environment and his position in the social network of his peers leads to an improval in sea...