2455 search results - page 341 / 491 » Computability of Models for Sequence Assembly |
130
Voted
AI
2004
Springer
15 years 10 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...
154
click to vote
LICS
2003
IEEE
15 years 10 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...
101
Voted
JCDL
2003
ACM
15 years 10 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...
164
click to vote
ICONIP
2008
15 years 6 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...
120
click to vote
IJCAI
1993
15 years 6 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...