111 search results - page 8 / 23 » Testing Input Output Partial Order Automata |
127
click to vote
ISAAC
1995
Springer
15 years 5 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
93
Voted
ICAI
2009
14 years 11 months ago
2009
The authors extended the idea of training multiple tasks simultaneously on a partially shared feed forward network. A shared input subvector was added to represented common inputs...
118
click to vote
BIRTHDAY
2000
Springer
15 years 6 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
104
click to vote
ISSAC
1989
Springer
15 years 5 months ago
1989
Springer
: We present a modification of the Goldwasser-Kilian-Atkin primality test, which, when given an input n, outputs either prime or composite, along with a certificate of correctnes...
144
click to vote
CVIU
2010
15 years 1 months ago
2010
This paper presents a real-time vision-based system to assist a person with dementia wash their hands. The system uses only video inputs, and assistance is given as either verbal ...