Search results for "artificial intelligence"

showing 10 items of 6122 documents

AIs for Dominion Using Monte-Carlo Tree Search

2015

Dominion is a complex game, with hidden information and stochastic elements. This makes creating any artificial intelligence AI challenging. To this date, there is little work in the literature on AI for Dominion, and existing solutions rely upon carefully tuned finite-state solutions. This paper presents two novel AIs for Dominion based on Monte-Carlo Tree Search MCTS methods. This is achieved by employing Upper Confidence Bounds UCB and Upper Confidence Bounds applied to Trees UCT. The proposed solutions are notably better than existing work. The strongest proposal is able to win 67% of games played against a known, good finite-state solution, even when the finite-state solution has the u…

Tree (data structure)business.industryComputer scienceMonte Carlo tree searchConfidence boundsArtificial intelligencebusinessDominion
researchProduct

On solving separable block tridiagonal linear systems using a GPU implementation of radix-4 PSCR method

2018

Partial solution variant of the cyclic reduction (PSCR) method is a direct solver that can be applied to certain types of separable block tridiagonal linear systems. Such linear systems arise, e.g., from the Poisson and the Helmholtz equations discretized with bilinear finite-elements. Furthermore, the separability of the linear system entails that the discretization domain has to be rectangular and the discretization mesh orthogonal. A generalized graphics processing unit (GPU) implementation of the PSCR method is presented. The numerical results indicate up to 24-fold speedups when compared to an equivalent CPU implementation that utilizes a single CPU core. Attained floating point perfor…

Tridiagonal linear systemsProgramvaruteknikComputer Networks and CommunicationsComputer sciencePartial solution techniquereduction010103 numerical & computational mathematicsParallel computingtietotekniikka01 natural scienceslineaariset mallitTheoretical Computer ScienceSeparable spaceinformation technologyArtificial IntelligenceSeparable block tridiagonal linear systemBlock (telecommunications)Fast direct solverRadix0101 mathematicsta113Computer Sciencesta111Linear systemSoftware EngineeringGPU computingSolverComputer Science::Numerical Analysis010101 applied mathematicsPSCR methodDatavetenskap (datalogi)partial solution techniqueHardware and ArchitectureComputer Science::Mathematical Softwarepienennyslinear modelsSoftwareRoofline modelCyclic reductionJournal of Parallel and Distributed Computing
researchProduct

A negotiation protocol to improve long distance truck parking

2017

Truck050210 logistics & transportationComputer sciencemedia_common.quotation_subject05 social sciences020101 civil engineering02 engineering and technologyComputer securitycomputer.software_genre0201 civil engineeringComputer Science ApplicationsTheoretical Computer ScienceNegotiationComputational Theory and MathematicsArtificial Intelligence0502 economics and businessProtocol (object-oriented programming)computerSoftwaremedia_commonIntegrated Computer-Aided Engineering
researchProduct

Mathematical models for Multi Container Loading Problems with practical constraints

2019

Abstract We address the multi container loading problem of a company that serves its customers’ orders by building pallets with the required products and loading them into trucks. The problem is solved by using integer linear models. To be useful in practice, our models consider three types of constraints: geometric constraints, so that pallets lie completely inside the trucks and do not overlap; weight constraints, defining the maximum weights supported by a truck and by each axle, as well as the position of the centre of gravity of the cargo; and dynamic stability constraints. These last constraints forbid empty spaces between pallets to avoid cargo displacement when the truck is moving, …

TruckMathematical optimization021103 operations researchGeneral Computer ScienceMathematical modelComputer science0211 other engineering and technologiesGeneral Engineering02 engineering and technologyContainer loading; Cutting stock problem; Integer programming; Optimization; Computer Science (all); Engineering (all)Cutting stock problemContainer (abstract data type)0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingPalletInteger programmingInteger (computer science)
researchProduct

A Framework to Evaluate Autonomic Behaviours for Intelligent Truck Parking

2016

This paper presents a multi-agent platform to evaluate different strategies to manage the negotiated management of parking spaces in road rest areas. The system dynamically adapts itself to the preferences and needs of the drivers of goods about parking requests. The system is shown to be robust to incidents regarding the closure of road rest areas and allows a conversational interaction of new parking requests through an Android based mobile application.

TruckTransport engineeringComputer science05 social sciences0202 electrical engineering electronic engineering information engineeringParking space050301 education020201 artificial intelligence & image processing02 engineering and technologyAndroid (operating system)0503 educationTruck driver
researchProduct

IoT-MAAC: Multiple Attribute Access Control for IoT environments

2020

Access Control is an important security service that should be considered in IoT environments in order to offer reliable IoT services. Access control in IoT environments concerns not only the access of IoT users to IoT services and objects, but also the access of IoT objects to IoT gateways. In this paper, we specify an access control mechanism that considers the access of IoT objects to IoT gateways in order to enhance the reliability of IoT data provided by the IoT objects. Our proposed access control mechanism, called IoT-MAAC (Multi Attribute Access Control), allows retrieving requested data from the most reliable and secured IoT objects among the available objects in the IoT environmen…

Trust levelService Level Agreements[INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]Computer sciencebusiness.industryReliability (computer networking)Access ControlIoT environments020206 networking & telecommunicationsAccess control02 engineering and technology[INFO] Computer Science [cs]Security service0202 electrical engineering electronic engineering information engineeringSecurity020201 artificial intelligence & image processingInternet of ThingsbusinessComputer networkMultiple attribute
researchProduct

Corrigendum to “Off-line control of the postprandial glycemia in type 1 diabetes patients by a fuzzy logic decision support” [Expert Systems with App…

2012

Type 1 diabetesDecision support systembusiness.industryControl (management)General Engineeringmedicine.diseasecomputer.software_genreFuzzy logicExpert systemComputer Science ApplicationsPostprandialArtificial IntelligencemedicineArtificial intelligencebusinesscomputerOff lineMathematicsExpert Systems with Applications
researchProduct

A method to optimize a typology-based classification system

2014

This study sought to provide guidelines for implementing typology-based qualitative analysis of human movement patterns.Fifteen participant-analysts were instructed how to classify treading water behaviours into eight different categories using a training set of videos. They were later provided with two additional sets of videos called validation, and test sets. Results first identified reliable (n=9), and not reliable (n=6) analysts. A decision study outlined that one analyst was sufficient to reliably categorize the behaviours in the ‘reliable’ analyst group, whereas up to four were necessary in the ‘unreliable’ group. These data provided new insights into more objective qualitative analy…

TypologyEngineeringTraining setbusiness.industryGeneralizability theoryPoison controlGeneral Medicinegeneralizability theoryComputer securitycomputer.software_genreMachine learningTest (assessment)Qualitative analysisCategorizationclinical educationexpertiseGeneralizability theoryArtificial intelligenceClinical educationbusinessta315computerEngineering(all)asiantuntijuus
researchProduct

Morphometrics of Second Iron Age ceramics - strengths, weaknesses, and comparison with traditional typology.

2014

12 pages; International audience; Although the potential of geometric morphometrics for the study of archaeological artefacts is recognised, quantitative evaluations of the concordance between such methods and traditional typology are rare. The present work seeks to fill this gap, using as a case study a corpus of 154 complete ceramic vessels from the Bibracte oppidum (France), the capital of the Celtic tribe Aedui from the Second Iron Age. Two outline-based approaches were selected: the Elliptic Fourier Analysis and the Discrete Cosine Transform. They were combined with numerous methods of standardisation/normalisation. Although standardisations may use either perimeter or surface, the res…

TypologyMorphometricsElliptic fourier analysisArcheologyPottery[SHS.ARCHEO]Humanities and Social Sciences/Archaeology and Prehistorybusiness.industryQuantitative Evaluationscomputer.software_genreArchaeologyBibracteDiscrete Cosine TransformArchaeology[ SHS.ARCHEO ] Humanities and Social Sciences/Archaeology and PrehistoryClosed contourDiscrete cosine transformTypeArtificial intelligencebusinessOpen contourcomputerNatural language processingMathematicsElliptic Fourier Analysis
researchProduct

UML Style Graphical Notation and Editor for OWL 2

2010

OWL is becoming the most widely used knowledge representation language. It has several textual notations but no standard graphical notation apart from verbose ODM UML. We propose an extension to UML class diagrams (heavyweight extension) that allows a compact OWL visualization. The compactness is achieved through the native power of UML class diagrams extended with optional Manchester encoding for class expressions thus largely eliminating the need for explicit anonymous class visualization. To use UML class diagram notation we had to modify its semantics to support Open World Assumption that is central to OWL. We have implemented the proposed compact visualization for OWL 2 in a UML style …

UML toolClass (computer programming)Computer sciencebusiness.industryProgramming languageApplications of UMLWeb Ontology Languagecomputer.software_genreNotationVisualizationClass diagramArtificial intelligenceOpen-world assumptionbusinesscomputerNatural language processingcomputer.programming_language
researchProduct