886 search results - page 142 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
130
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Robust sequence prediction is an essential component of an intelligent agent acting in a dynamic world. We consider the case of near-future event prediction by an online learning ...
178
click to vote
CSB
2003
IEEE
15 years 9 months ago
2003
IEEE
Recognition of a protein’s fold provides valuable information about its function. While many sequence-based homology prediction methods exist, an important challenge remains: tw...
119
click to vote
NIPS
2003
15 years 5 months ago
2003
When clustering a dataset, the right number k of clusters to use is often not obvious, and choosing k automatically is a hard algorithmic problem. In this paper we present an impr...
138
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Without the proliferation of formal semantic annotations, the Semantic Web is certainly doomed to failure. In earlier work we presented a new paradigm to avoid this: the 'Sel...
163
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...