„Computing Methodologies.“

Suchergebnisse

1.689 Treffer

• A generic model for Immersive Documentation Environments
  Kakez, S. ; Figue, J. ; Conan, V.
• Proofs of numerical programs when the compiler optimizes
  Boldo, Sylvie ; Nguyen, Thi Minh Tuyen
• Virtual environments for engineering applications
  Sastry, L. ; Boyd, D. R. S.
• Enhancing understanding and improving prediction of severe weather through spatiotemporal relational learning
  McGovern, Amy ; Gagne, David J. ; Williams, John K. ; Brown, Rodger A. ; Basara, Jeffrey B.
• Decision support for disaster management through hybrid optimization
  Coffrin, Carleton
• Integration of ICT and tourism for improved promotion of tourist attractions in Ethiopia
  Wagaw, Mekonnen ; Mulugeta, Feven
• Bootstrap learning for accurate onset detection
  Hu, Ning ; Dannenberg, Roger B.
• Using EmotiBlog to annotate and analyse subjectivity in the new textual genres
  Boldrini, Ester ; Balahur, Alexandra ; Martínez-Barco, Patricio ; Montoyo, Andrés
• Models and emerging trends of concurrent constraint programming
  Olarte, Carlos ; Rueda, Camilo ; Valencia, Frank D.
• Coloured Petri net refinement specification and correctness proof with Coq
  Choppy, Christine ; Mayero, Micaela ; Petrucci, Laure
• The Power of Amnesia: Learning Probabilistic Automata with Variable Memory Length
  Ron, Dana ; Singer, Yoram ; Tishby, Naftali
• An Experimental Comparison of the Nearest-Neighbor and Nearest-Hyperrectangle Algorithms
  Wettschereck, Dietrich ; Dietterich, Thomas G.
• Deep bidirectional intelligence: AlphaZero, deep IA-search, deep IA-infer, and TPC causal learning
  Xu, Lei
• Classifying 3D objects in LiDAR point clouds with a back-propagation neural network
  Song, Wei ; Zou, Shuanghui ; Tian, Yifei ; Fong, Simon ; Cho, Kyungeun
• Fast Streaming Behavioural Pattern Mining
  Chovanak, Tomas ; Kassak, Ondrej ; Kompan, Michal ; Bielikova, Maria
• Unsupervised feature selection based on kernel fisher discriminant analysis and regression learning
  Shang, Ronghua ; Meng, Yang ; Liu, Chiyang ; Jiao, Licheng ; Esfahani, Amir M. Ghalamzan ; Stolkin, Rustam
• Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework
  Calimeri, Francesco ; Fuscà, Davide ; Germano, Stefano ; Perri, Simona ; Zangari, Jessica
• The Limits of Measuring Information in Biology: an Ontological Approach
  Mercado-Reyes, Agustín ; Arroyo-Santos, Alfonso
• The EDL Server for Scheduling Periodic and Soft Aperiodic Tasks with Resource Constraints
  Silly, Maryline
• Guest editorial: special issue on machine learning for soccer
  Berrar, Daniel P. ; Lopes, Philippe ; Davis, Jesse ; Dubitzky, Werner