79 search results - page 7 / 16 » On the Average Number of States of Partial Derivative Automa... |
SETN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Constructive methods obtain solutions to constraint satisfaction problem instances by iteratively extending consistent partial assignments. In this research, we study the...
CONCUR
1998
Springer
14 years 1 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
IJFCS
2007
13 years 9 months ago
2007
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and...
JELIA
1994
Springer
14 years 1 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
JCM
2008
13 years 9 months ago
2008
In this work the performance of a combined equalization for multi-carrier code division multiple access (MC-CDMA) systems is analytically evaluated. Combined equalization consists ...