5707 search results - page 288 / 1142 » Symbolic Simulation - Techniques and Applications |
157
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In the development of disciplines addressing dynamics, such as Mathematics and Physics, a major role was played by the assumption that processes can be modelled by introducing cer...
235
Voted
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
185
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, a new pattern-growth algorithm is presented to mine frequent sequential patterns using First-Occurrence Forests (FOF). This algorithm uses a simple list of pointers...
126
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
The paper presents an overview of a computation friendly calculus of fuzzy relations. It is presented within the framework of an enriched generic algebra of relations that we have...
163
Voted
ACL
1997
15 years 8 months ago
1997
String transformation systems have been introduced in (Brill, 1995) and have several applications in natural language processing. In this work we consider the computational proble...