2455 search results - page 341 / 491 » Computability of Models for Sequence Assembly |
166
click to vote
AI
2004
Springer
15 years 12 months ago
2004
Springer
Building conversation protocols has traditionally been an art more than a science, as their construction is often guided by designers’ intuition rather than by a principled appro...
178
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
134
click to vote
JCDL
2003
ACM
15 years 11 months ago
2003
ACM
Can digital libraries provide a reading experience that more closely resembles a real book than a scrolled or paginated electronic display? This paper describes a prototype page-t...
189
click to vote
ICONIP
2008
15 years 7 months ago
2008
Mass spectrometry (MS) is a key technique for the analysis and identification of proteins. A prediction of spectrum peak intensities from pre computed molecular features would pave...
140
click to vote
IJCAI
1993
15 years 7 months ago
1993
We consider the computational complexity of evaluating nested counterfactuals over a propositional knowledge base. Counterfactual implication models a statement "if p, then q...