490 search results - page 35 / 98 » Impossibilities for roommate problems |
DLOG
2009
13 years 6 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
BMCBI
2010
13 years 6 months ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
NFM
2011
13 years 3 months ago
2011
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
ICASSP
2011
IEEE
13 years 17 days ago
2011
IEEE
We address the problem of detecting and locating narrowband tones in an undersampled signal. It is known that uniformly undersampled signals exhibit frequency aliasing, whereby th...
PERCOM
2011
ACM
13 years 15 days ago
2011
ACM
— This paper focuses on the problem of rostering in intermittently connected passive RFID networks. It aims to report a list of tagged mobile nodes that appear in given intereste...