5084 search results - page 292 / 1017 » Proving Possibility Properties |
147
click to vote
ISMB
1997
15 years 8 months ago
1997
This workdemonstrates newtechniques developed for the prediction of protein folding class in the context of the most comprehensiveStructural Classification of Proteins (SCOP). The...
120
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
In gb, the importance of phrase-structure rules has dwindled in favour of nearness conditions. Today, nearness conditions play a major role in defining the correct linguistic rep...
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
156
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Contact processes describe the transmission of distinct properties of nodes via the links of a network. They provide a simple framework for many phenomena, such as epidemic spreadi...
190
click to vote
DEDS
2008
15 years 6 months ago
2008
This paper addresses the problem of Fault Detection and Isolation for a particular class of discrete event dynamical systems called Hierarchical Finite State Machines (HFSMs). A ne...