79 search results - page 3 / 16 » On the Average Number of States of Partial Derivative Automa... |
FSTTCS
2010
Springer
13 years 3 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
ACNS
2005
Springer
13 years 11 months ago
2005
Springer
We have developed techniques to automatically infer mother's maiden names from public records. We demonstrate our techniques using publicly available records from the state o...
ICC
2007
IEEE
13 years 12 months ago
2007
IEEE
— The effect of noise on the maximum useful number of receiver antennas that can be deployed in a cochannel interference diversity system is examined. The long term signalpower-t...
ISMB
2000
13 years 7 months ago
2000
Knowing the number of residue contacts in a protein is crucial for deriving constraints useful in modeling protein folding, protein structure, and/or scoring remote homology searc...