Informatique
Résultats: Montrant 10 de 463 à l'page 18 de 47
Nom
Titre
Domaine
Document
Unité
Année
An integrated environment for verification and test of fault-tolerant components...
Object detection by keygraph recognition
Components for interoperability among Web 2.0 social networks
Hierarchical planning under Knightian uncertainty
Inference of gene regulatory networks using the seed growing paradigm
Coefficient of determination, intrinsically multivariate and genetic prediction
Probabilistic planning using asynchronous and factored dynamic programming
Labeling of Handwritten Mathematical Symbols via Expression Matching
Belief revision in ACTL using bounded model checking
Résultats: Montrant 10 de 463 à l'page 18 de 47