141 search results - page 15 / 29 » A Structural Induction Theorem for Processes |
TELSYS
2002
13 years 7 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
CLEF
2009
Springer
13 years 8 months ago
2009
Springer
In biological sequence processing, Multiple Sequence Alignment (MSA) techniques capture information about long-distance dependencies and the three-dimensional structure of protein ...
EMNLP
2011
12 years 7 months ago
2011
In this paper, we consider the problem of unsupervised morphological analysis from a new angle. Past work has endeavored to design unsupervised learning methods which explicitly o...
ICPR
2010
IEEE
13 years 12 months ago
2010
IEEE
Anomaly detection has received much attention within the literature as a means of determining, in an unsupervised manner, whether a learning domain has changed in a fundamental way...
POPL
2008
ACM
14 years 7 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...