12836 search results - page 2043 / 2568 » Generalization Methods in Bioinformatics |
184
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we investigate an approach to provide approximate, anytime algorithms for DCOPs that can provide quality guarantees. At this aim, we propose the divide-and-coordinat...
180
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
171
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
In many AI settings an agent is comprised of both actionplanning and action-execution components. We examine the relationship between the precision of the execution component, the...
181
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
196
click to vote
BMEI
2009
IEEE
15 years 8 months ago
2009
IEEE
It is widely accepted that complexity of biological systems arises from combinations of common subunits. In this work we investigate the combinatorial patterns of protein domains ...