Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers∗ Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi Eszterházy Károly University, Eger, Hungary IoT Research

Source URL: smt-workshop.cs.uiowa.edu

• Constraint programming
• Theoretical computer science
• Computing
• Wireless sensor network
• Wireless networking
• Applied mathematics
• Satisfiability modulo theories
• Sensor node
• Constraint satisfaction
• Mathematical optimization
• Constraint

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems∗ Kyungmin Bae Peter Csaba Ölveczky

Source URL: scungao.github.io

Model-based and Model-free Reinforcement Learning for Visual Servoing Amir massoud Farahmand, Azad Shademan, Martin J¨agersand, and Csaba Szepesv´ari Abstract— To address the difficulty of designing a controller for

Source URL: www.sologen.net

Machine Learning manuscript No. (will be inserted by the editor) Model Selection in Reinforcement Learning Amir-massoud Farahmand1 , Csaba Szepesv´ ari1

Source URL: www.sologen.net

Cascading Bandits: Learning to Rank in the Cascade Model Branislav Kveton Adobe Research, San Jose, CA Csaba Szepesv´ari Department of Computing Science, University of Alberta

Source URL: www.bkveton.com

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems∗ Kyungmin Bae Peter Csaba Ölveczky

Source URL: scungao.github.io

LexiTags: An Interlingua for the Social Semantic Web Csaba Veres University in Bergen, Fosswinckelsgt. 6, 5020 Bergen, Norway. Abstract. The paper describes lexitags, a new approach to social

Source URL: iswc2011.semanticweb.org

Ornis Hungarica): 44–49. New species and host association records for the Hungarian avian louse fauna (Insecta: Phthiraptera) Zoltán Vas1,2,3, Csaba Privigyei3, Viola Judit Prohászka4,

Source URL: www.zoologia.hu

MapXplore: Linked Data in the App Store Csaba Veres University in Bergen, Norway

Source URL: ceur-ws.org

A Nap hasa Selyem Zsuzsával Parászka Boróka és Székely Csaba beszélget Nálad nagy ugrás ez a regény, ugye? Hát persze: előtte ott volt nekem az irodalomelmélet, azelőtt a matematika, még korábban a pszicho

Source URL: adatbank.transindex.ro