11716 search results - page 81 / 2344 » Computable symbolic dynamics |
175
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
178
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
A number of models of computation on trees labeled with symbols from an infinite alphabet is considered. We study closure and decision properties of each of the models and compare ...
152
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
201
click to vote
SEMCO
2007
IEEE
16 years 13 days ago
2007
IEEE
The work presented in this paper aims to combine Latent Semantic Analysis methodology, common sense and traditional knowledge representation in order to improve the dialogue capab...
158
click to vote
CONTEXT
2001
Springer
15 years 10 months ago
2001
Springer
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...