4480 search results - page 842 / 896 » Prototyping Completion with Constraints Using Computational ... |
190
click to vote
IJCAI
2003
15 years 7 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
162
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: The Generalized Hidden Markov Model (GHMM) has proven a useful framework for the task of computational gene prediction in eukaryotic genomes, due to its flexibility an...
265
click to vote
CSUR
2011
14 years 9 months ago
2011
high-level programming abstractions, capable of simplifying the programming chore without sacrificing efficiency, has been long recognized and several solutions have been hitherto...
153
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
142
click to vote
UIST
2004
ACM
15 years 11 months ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...