boosting the development of asp based applications in
play

Boosting the Development of ASP-based Applications in Mobile and - PowerPoint PPT Presentation

Mar 10, 2024 •210 likes •278 views

Boosting the Development of ASP-based Applications in Mobile and General Scenarios Francesco Calimeri Davide Fusc Stefano Germano Simona Perri Jessica Zangari 15th International Conference of the Italian Association for Artificial

  1. Boosting the Development of ASP-based Applications in Mobile and General Scenarios Francesco Calimeri Davide Fuscà Stefano Germano Simona Perri Jessica Zangari 15th International Conference of the Italian Association for Artificial Intelligence Department of Mathematics and Computer Science, University of Calabria, Italy embasp@mat.unical.it EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 1

  2. Motivations for practical applications and used worldwide educational and real-world contexts mobile devices EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 2 • Declarative and Imperative languages integration • Answer Set Programming (ASP) technologies are mature • Ease the development of ASP-based applications , in both • ICT industry is moving towards the mobile scenario • Lack of works about ASP systems natively running on

  3. Contributions in external systems for generic applications EmbASP Freely available at: https://www.mat.unical.it/calimeri/projects/embasp/ EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 3 • EmbASP : an abstract framework for the integration of ASP • An actual Java implementation of the framework specialized for the Android platform and the DLV system • GuessAndCheckers : a native mobile application using

  4. EmbASP: Embedding ASP (or Levels of Analysis) EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 on Android 4 Client ASPHandler Mapper AnswerSetCallback • Layered Architecture AnswerSet AnswerSets DLVHandler • Separation of Concerns DLVAnswerSets ASPService • Native DLV execution DLVService DLV

  5. the OpenCV library an ASP-based artificial intelligence GuessAndCheckers A native mobile application that works as an helper for users of physical board and pieces) by means of the device camera a picture of the board is taken the information about the current status of the game is properly inferred thanks to module then suggests the move EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 5 that play “live” games of the (Italian) checkers (i.e., by means

  6. GuessAndCheckers A native mobile application that works as an helper for users of physical board and pieces) of the board is taken of the game is properly inferred thanks to module then suggests the move EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 5 that play “live” games of the (Italian) checkers (i.e., by means • by means of the device camera a picture • the information about the current status the OpenCV library • an ASP-based artificial intelligence

Recommend

Theory and Applications of Boosting Theory and Applications of Boosting Theory and Applications

Theory and Applications of Boosting Theory and Applications of Boosting Theory and Applications

Theory and Applications of Boosting Theory and Applications of Boosting Theory and Applications of Boosting Theory and Applications of Boosting Theory and Applications of Boosting Rob Schapire Princeton University Example: How May I Help

1.62k views • 104 slides
An overview of Boosting Yoav Freund UCSD Plan of talk Generative vs. non-generative

An overview of Boosting Yoav Freund UCSD Plan of talk Generative vs. non-generative

An overview of Boosting Yoav Freund UCSD Plan of talk Generative vs. non-generative modeling Boosting Alternating decision trees Boosting and over-fitting Applications 2 Toy Example Computer receives telephone call

735 views • 61 slides
Theory and Applications of Boosting Theory and Applications of Boosting Theory and Applications

Theory and Applications of Boosting Theory and Applications of Boosting Theory and Applications

Theory and Applications of Boosting Theory and Applications of Boosting Theory and Applications of Boosting Theory and Applications of Boosting Theory and Applications of Boosting Rob Schapire Example: How May I Help You? Example:

1.46k views • 134 slides
Theory and Applications of Boosting Yoav Freund UCSD 2 1 0 2 l o o h c S r e m m

Theory and Applications of Boosting Yoav Freund UCSD 2 1 0 2 l o o h c S r e m m

Theory and Applications of Boosting Yoav Freund UCSD 2 1 0 2 l o o h c S r e m m Many slides from Rob Schapire u S z u r C a t n a S Monday, July 16, 2012 0 1 2 m e r S c h o o l 2 a C r u z S u m

1.14k views • 53 slides
Boosting Power Effic iciency of HPC Applications with GEOPM Jonathan Eastep

Boosting Power Effic iciency of HPC Applications with GEOPM Jonathan Eastep

Boosting Power Effic iciency of HPC Applications with GEOPM Jonathan Eastep [jonathan.m.eastep@intel.com] Principal Engineer and PhD 29 August 2018 ALCF De Devel eloper Ses ession 1 Outline Challenges and Approach to Solving Them

516 views • 35 slides
Boosting Machine Learning - 10601 Geoff Gordon, MiroslavDudk ([[[partly based on slides of Rob

Boosting Machine Learning - 10601 Geoff Gordon, MiroslavDudk ([[[partly based on slides of Rob

11/9/2009 Boosting Machine Learning - 10601 Geoff Gordon, MiroslavDudk ([[[partly based on slides of Rob Schapire and Carlos Guestrin] http://www.cs.cmu.edu/~ggordon/10601/ November 9, 2009 Ensembles of trees BAGGING and BOOSTING RANDOM

184 views • 17 slides
STK-IN4300 Statistical Learning Methods in Data Science Likelihood-based Boosting introduction

STK-IN4300 Statistical Learning Methods in Data Science Likelihood-based Boosting introduction

STK-IN4300 - Statistical Learning Methods in Data Science Outline of the lecture Gradient Boosting review L 2 boosting with linear learner STK-IN4300 Statistical Learning Methods in Data Science Likelihood-based Boosting introduction

341 views • 11 slides
One Community at a Time: Strengthening New Mexico by Boosting Local Economic Development

One Community at a Time: Strengthening New Mexico by Boosting Local Economic Development

One Community at a Time: Strengthening New Mexico by Boosting Local Economic Development Presentation to the Economic and Rural Development Interim Committee Friday, October 12, 2018 Presenters Grant Taylor, Economic Policy New Mexico

364 views • 19 slides
Boosting Performance of Data Intensive Applications via Persistent Memory Arthur Sainio Co-Chair

Boosting Performance of Data Intensive Applications via Persistent Memory Arthur Sainio Co-Chair

#CONTAINERWORLD Boosting Performance of Data Intensive Applications via Persistent Memory Arthur Sainio Co-Chair SNIA NVDIMM SIG #CONTAINERWORLD Agenda How are NVDIMMs a revolutionary technology which will boost the performance of

538 views • 20 slides
RECSM Summer School: Machine Learning for Social Sciences Session 2.4: Boosting Reto West

RECSM Summer School: Machine Learning for Social Sciences Session 2.4: Boosting Reto West

RECSM Summer School: Machine Learning for Social Sciences Session 2.4: Boosting Reto West Department of Political Science and International Relations University of Geneva 1 Boosting Boosting Like bagging, boosting is a general

373 views • 13 slides
lti Is convex Perceptron Boosting Max-Margin Conditional Likelihood MIRA Based on Uses a

lti Is convex Perceptron Boosting Max-Margin Conditional Likelihood MIRA Based on Uses a

Softmax-Margin CRFs: Training Log-Linear Models with Cost Functions Kevin Gimpel and Noah A. Smith lti Is convex Perceptron Boosting Max-Margin Conditional Likelihood MIRA Based on Uses a cost probabilistic function inference

603 views • 26 slides
Development and applications of regional reanalyses for Europe and Germany based on DWDs NWP

Development and applications of regional reanalyses for Europe and Germany based on DWDs NWP

Development and applications of regional reanalyses for Europe and Germany based on DWDs NWP models: Status and outlook Frank Kaspar 1 , Michael Borsche 1 , Natacha Fery 1 , Andrea K. Kaiser-Weiss 1 , Jan D. Keller 1,2 , Maarit Lockhoff 3 ,

817 views • 22 slides
Boosting Drug Development through Public- Private Partnerships: The IMI Model Hugh Laverty

Boosting Drug Development through Public- Private Partnerships: The IMI Model Hugh Laverty

Boosting Drug Development through Public- Private Partnerships: The IMI Model Hugh Laverty Senior Scientific Project Manager EMA Human Scientific Committees' Working Party with Patients' and Consumers' Organisations (PCWP) 30 Nov 2012 Key

562 views • 41 slides
Boosting (ensemble) Module 4 - Ensemble classifiers - Objectives module 4: boosting (ensemble

Boosting (ensemble) Module 4 - Ensemble classifiers - Objectives module 4: boosting (ensemble

Boosting (ensemble) Module 4 - Ensemble classifiers - Objectives module 4: boosting (ensemble models) LEARNING PERFORMANCE REPRESENTATION DATA PROBLEM RAW DATA CLUSTERING EVALUATION FEATURES UCI datasets unigrams 20newsgroups SUPERVISED

926 views • 34 slides
Boosting Methods: Implicit Combinatorial Optimization via First-Order Convex Optimization Robert

Boosting Methods: Implicit Combinatorial Optimization via First-Order Convex Optimization Robert

Motivation Review of SD and FW(CG) Binary Classification and Boosting Linear Regression and Boosting Boosting Methods: Implicit Combinatorial Optimization via First-Order Convex Optimization Robert M. Freund Paul Grigas Rahul Mazumder

707 views • 49 slides
tATAmI: A Platform for the Development and Deployment of Agent-Based AmI Applications Andrei Olaru

tATAmI: A Platform for the Development and Deployment of Agent-Based AmI Applications Andrei Olaru

tATAmI: A Platform for the Development and Deployment of Agent-Based AmI Applications Andrei Olaru b , Marius-Tudor Benea a , b , , Amal El Fallah Seghrouchni a , Adina Magda Florea b E-mail: tudorbenea@gmail.com a LIP6 University

709 views • 37 slides
Ontology-based KP Development for Smart-M3 Applications Aleksandr A. Lomov Petrozavodsk State

Ontology-based KP Development for Smart-M3 Applications Aleksandr A. Lomov Petrozavodsk State

Ontology-based KP Development for Smart-M3 Applications Aleksandr A. Lomov Petrozavodsk State University Department of Computer Science This project is supported by grant KA179 of Karelia ENPI - joint program of the European Union, Russian

416 views • 12 slides
Adaptive Incremental Learning for Statistical Relational Models Using Gradient-Based Boosting

Adaptive Incremental Learning for Statistical Relational Models Using Gradient-Based Boosting

Adaptive Incremental Learning for Statistical Relational Models Using Gradient-Based Boosting Yulong Gu and Paolo Missier Presenter: Yulong Gu School of Computing, Newcastle University UK Outline Background Relational Functional

401 views • 19 slides
The Boosting Approach to Machine Learning Maria-Florina Balcan 03/16/2015 Boosting General

The Boosting Approach to Machine Learning Maria-Florina Balcan 03/16/2015 Boosting General

The Boosting Approach to Machine Learning Maria-Florina Balcan 03/16/2015 Boosting General method for improving the accuracy of any given learning algorithm. Works by creating a series of challenge datasets s.t. even modest

715 views • 32 slides
Boosting Job-Level Migration by Static Analysis Workshop on Operating Systems Platforms for

Boosting Job-Level Migration by Static Analysis Workshop on Operating Systems Platforms for

Boosting Job-Level Migration by Static Analysis Workshop on Operating Systems Platforms for Embedded Real-Time Applications July 09, 2019 Tobias Klaus, Peter Ulbrich, Phillip Raffeck, Benjamin Frank, Lisa Wernet , Maxim Ritter von Onciul ,

841 views • 42 slides
Credentialing Virginia s Workforce: Diversifying the Economy and Boosting Economic

Credentialing Virginia s Workforce: Diversifying the Economy and Boosting Economic

Credentialing Virginia s Workforce: Diversifying the Economy and Boosting Economic Competitiveness Presentation to VML s Human Development and Education Policy Committee July 29, 2016 Dr. Ellen Davenport Jim Andr VCCS s Mission

609 views • 31 slides
Development and Applications of CARP Development and Applications of CARP Numerical Models

Development and Applications of CARP Development and Applications of CARP Numerical Models

Development and Applications of CARP Development and Applications of CARP Numerical Models Numerical Models Kevin J. Farley Robin Landeck Miller Cleaning up the Harbor Results of the Contamination Assessment & Reduction Project The

876 views • 76 slides
Boosting: Foundations and Algorithms Boosting: Foundations and Algorithms Boosting: Foundations

Boosting: Foundations and Algorithms Boosting: Foundations and Algorithms Boosting: Foundations

Boosting: Foundations and Algorithms Boosting: Foundations and Algorithms Boosting: Foundations and Algorithms Boosting: Foundations and Algorithms Boosting: Foundations and Algorithms Rob Schapire Example: Spam Filtering Example: Spam

456 views • 35 slides
mboost - Componentwise Boosting for Generalised Regression Models Thomas Kneib & Torsten

mboost - Componentwise Boosting for Generalised Regression Models Thomas Kneib & Torsten

mboost - Componentwise Boosting for Generalised Regression Models Thomas Kneib & Torsten Hothorn Department of Statistics Ludwig-Maximilians-University Munich 13.8.2008 Thomas Kneib Boosting in a Nutshell Boosting in a Nutshell

414 views • 17 slides

More recommend