1200 search results - page 155 / 240 » Marked Ancestor Problems |
142
Voted
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
146
click to vote
MOBIWAC
2009
ACM
15 years 11 months ago
2009
ACM
Handoff delay is one of the major problems in Wireless Mesh Network (WMN) that needs to be solved in order to allow time-critical and real-time applications run continuously durin...
143
click to vote
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
Counterfeit and expired pharmaceuticals are a significant problem in the developing world, constituting up to 80% of stock on pharmacy shelves. This is due both to poor existing ...
126
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
To support human functioning, ambient intelligent agents require knowledge about the tasks executed by the human. This knowledge includes design-time information like: (i) the goa...
151
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
We address the problem of instantaneous, underdetermined audio source separation by time-frequency masking. Using oracle estimators, we determine experimental upper performance bo...