935 search results - page 135 / 187 » A New Statistical Optimization Algorithm for Gate Sizing |
165
click to vote
TKDE
2012
13 years 4 months ago
2012
— We study the problem of assigning subscribers to brokers in a wide-area content-based publish/subscribe system. A good assignment should consider both subscriber interests in t...
115
click to vote
SIGMOD
2001
ACM
16 years 2 months ago
2001
ACM
Estimating the result size of complex queries that involve selection on multiple attributes and the join of several relations is a difficult but fundamental task in database query...
155
click to vote
TCSV
2010
14 years 9 months ago
2010
Abstract--Real-time stereo vision is attractive in many applications like robot navigation and 3D scene reconstruction. Data parallel platforms, e.g. GPU, is often used for real-ti...
114
Voted
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
121
Voted
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
A new criterion based on Gaussian fields is introduced and applied to the task of automatic rigid registration of point-sets. The method defines a simple energy function, which is...