DE eng

Search in the Catalogues and Directories

Hits 1 – 3 of 3

1
Towards the Integration of EAST-ADL and UPPAAL for FormalVerification of EAST-ADL Timing Constraint Specification
Qureshi, Tahir Naseer; Chen, De-Jiu; Persson, Magnus. - : KTH, Inbyggda styrsystem, 2011
BASE
Show details
2
PROBabilities from EXemplars (PROBEX): a "lazy" algorithm for probabilistic inference from generic knowledge
In: Cognitive science. - Hoboken, NJ : Wiley-Blackwell 26 (2002) 5, 563-608
OLC Linguistik
Show details
3
PROBabilities from EXemplars (PROBEX) : a 'lazy' algorithm for probabilistic inference from generic knowledge
In: Cognitive science. - Hoboken, NJ : Wiley-Blackwell 26 (2002) 5, 563-607
BLLDB
Show details

Catalogues
0
0
1
0
0
0
0
Bibliographies
1
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
1
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern