204 search results - page 26 / 41 » Test Derivation from Timed Automata |
142
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a novel methodology for concurrent error detection in linear analog circuits. We develop a rigorous theory that yields an error detection circuit of size that is, in ge...
135
click to vote
ICMI
2000
Springer
15 years 8 months ago
2000
Springer
A system is proposed to recognize handwritten numerals in both Devnagri (Hindi) and English. It is assumed at a time the numerals will be of one of the above two scripts and there...
149
click to vote
AAAI
2006
15 years 6 months ago
2006
We introduce point-based dynamic programming (DP) for decentralized partially observable Markov decision processes (DEC-POMDPs), a new discrete DP algorithm for planning strategie...
153
Voted
JGO
2008
15 years 5 months ago
2008
Two-stage stochastic mixed-integer programming (SMIP) problems with recourse are generally difficult to solve. This paper presents a first computational study of a disjunctive cut...
159
click to vote
ACL
2011
14 years 8 months ago
2011
We introduce synchronous tree adjoining grammars (TAG) into tree-to-string translation, which converts a source tree to a target string. Without reconstructing TAG derivations exp...