658 search results - page 130 / 132 » Minimally-Supervised Classification using Multiple Observati... |
187
click to vote
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
Discovering a bucket order B from a collection of possibly noisy full rankings is a fundamental problem that relates to various applications involving rankings. Informally, a buck...
110
Voted
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
109
click to vote
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
Data stream management systems usually have to process many long-running queries that are active at the same time. Multiple queries can be evaluated more efficiently together tha...
105
click to vote
ISPASS
2007
IEEE
15 years 5 months ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— In this paper, we consider the problem of exploring an unknown environment with a team of mobile robots. One of the key issues in multi-robot exploration is how to assign targe...