6906 search results - page 168 / 1382 » An algorithm for modelling key terms |
149
click to vote
PVLDB
2010
15 years 3 months ago
2010
Managing, searching and mining uncertain data has achieved much attention in the database community recently due to new sensor technologies and new ways of collecting data. There ...
160
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
In the era of deep sub-wavelength lithography for nanometer VLSI designs, manufacturability and yield issues are critical and need to be addressed during the key physical design i...
122
Voted
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
129
Voted
CIVR
2007
Springer
15 years 11 months ago
2007
Springer
Fusion of multimedia streams for enhanced performance is a critical problem for retrieval. However, fusion performance tends to easily overfit the hillclimb set used to learn fus...
125
click to vote
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
We give a quick overview of some key issues in (quantitative) call center management: building realistic models, developing efficient tools to simulate these models, finding qui...