2713 search results - page 137 / 543 » Parameterized Tree Systems |
133
Voted
NIPS
2004
15 years 5 months ago
2004
In this paper, we explore the use of Random Forests (RFs) in the structured language model (SLM), which uses rich syntactic information in predicting the next word based on words ...
111
Voted
IANDC
2007
15 years 3 months ago
2007
We explore the notion of alternating two-way tree automata modulo the theory of finitely many associative-commutative (AC) symbols. This was prompted by questions arising in cryp...
137
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—The problem of stabilizing an unstable plant over a noisy communication link is an increasingly important one that arises in problems of distributed control and networked contro...
104
Voted
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
130
Voted
AUSAI
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...