157 search results - page 30 / 32 » Tackling Post's Correspondence Problem |
BIBM
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Protein complexes are important for understanding principles of cellular organization and functions. With the availability of large amounts of high-throughput proteinprot...
3DIM
2011
IEEE
12 years 5 months ago
2011
IEEE
Abstract—During the last few years a wide range of algorithms and devices have been made available to easily acquire range images. To this extent, the increasing abundance of dep...
WSDM
2010
ACM
14 years 3 months ago
2010
ACM
We consider a set of views stating possibly conflicting facts. Negative facts in the views may come, e.g., from functional dependencies in the underlying database schema. We want ...
ATAL
2007
Springer
2007
Springer
Coalition formation under uncertainty: bargaining equilibria and the Bayesian core stability concept
13 years 11 months ago
Coalition formation is a problem of great interest in AI, allowing groups of autonomous, rational agents to form stable teams. Furthermore, the study of coalitional stability conc...
HRI
2006
ACM
13 years 11 months ago
2006
ACM
Programming robots to carry out useful tasks is both a complex and non-trivial exercise. A simple and intuitive method to allow humans to train and shape robot behaviour is clearl...