8828 search results - page 1528 / 1766 » Formal methods in practice |
188
click to vote
NIPS
2008
15 years 8 months ago
2008
Hierarchical probabilistic modeling of discrete data has emerged as a powerful tool for text analysis. Posterior inference in such models is intractable, and practitioners rely on...
156
click to vote
MEDINFO
2007
15 years 8 months ago
2007
Objectives: To discuss the relationships between ontologies, terminologies and language in the context of Natural Language Processing (NLP) applications in order to show the negat...
212
click to vote
PLANX
2007
15 years 8 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
119
click to vote
VMV
2008
15 years 8 months ago
2008
In this work we recall attention to problems that arise in a client-server setting with server-side rendering and propose a practical method for accelerated high-quality render-st...
178
click to vote
AAAI
2004
15 years 8 months ago
2004
Obtaining an accurate multiple alignment of protein sequences is a difficult computational problem for which many heuristic techniques sacrifice optimality to achieve reasonable r...