28549 articles – 22058 Notices  [english version]
.:. Consultation > Par domaines > Informatique .:.
339 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access Program Transformation for Non-interference Verification on Programs with Pointers
Assaf M., Signoles J., Tronel F., Totel E.
N° RR-8284 (2013) [hal-00814671 - version 1]
fulltext access Actor-Critic Algorithms for Risk-Sensitive MDPs
L.A. P., Ghavamzadeh M.
(2013) [hal-00794721 - version 1]
La grenouille gobe t'elle aussi les cailloux ? Une introduction aux neurosciences computationnelles
Teftef E., Viéville T.
EpiNet 152 (2013) [hal-00789149 - version 1]
fulltext access Modeling non-standard retinal in/out function using computer vision variational methods
Teftef E., Escobar M.-J., Astudillo A., Carvajal C., Cessac B., Palacios A., Viéville T., Alexandre F.
N° RR-8217 (2013) [hal-00783091 - version 2]
fulltext access A QoS Monitoring System for Dataflow Programs
Selva M., Morel L., Marquet K., Frénot S.
Conférence d'informatique en Parallélisme, Architecture et Système. (2013) [hal-00780976 - version 1]
fulltext access Bayesian Policy Gradient and Actor-Critic Algorithms
Ghavamzadeh M., Engel Y.
(2013) [hal-00776608 - version 1]
Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case
Mou C., Wang D., Li X.
Theoretical Computer Science 468 (2013) 102-113 [hal-00765840 - version 1]
fulltext access PAULA XML Documentation
Zeldes A., Zipser F., Neumann A.
(2013) [hal-00783716 - version 1]
fulltext access Assessing the impact of automatic vs. controlled rotations on spatial transfer with a joystick and a walking interface in VR
Larrue F., Sauzeon H., Foloppe D., Wallet G., Cazalets J.-R., Gross C., Hachet M., N'Kaoua B.
(2013) [hal-00804266 - version 2]
Bristle Maps: A Multivariate Abstraction Technique for Geovisualization
Kim S., Maciejewski R., Malik A., Ebert D. S., Isenberg T.
IEEE Transactions on Visualization and Computer Graphics (2013) [hal-00796336 - version 1]