33,592 Result(s)
-
Chapter and Conference Paper
S4ND: Single-Shot Single-Scale Lung Nodule Detection
The most recent lung nodule detection studies rely on computationally expensive multi-stage frameworks to detect nodules from CT scans. To address this computational challenge and provide better performance, i...
-
Chapter and Conference Paper
Grasping Metaphors: Lexical Semantics in Metaphor Analysis
Metaphors represent to date an extraordinary challenge for computational linguistics. Dealing with metaphors has relevant consequences on our ability to build agents and systems that understand Natural Languag...
-
Chapter and Conference Paper
Psychophysiological Specificity of Four Basic Emotions Through Autobiographical Recall and Videos
Current theories of emotion generally agree that basic emotions involve several systems with a considerable degree of specificity at the psychophysiological level. Analyzing the psychophysiological profiles of...
-
Chapter and Conference Paper
Behaviour Adaptation Using Interaction Patterns with Augmented Reality Elements
This publication describes a systematic approach for behaviour adaptations of humans, based on interaction patterns as a fundamental way to design and describe human machine interaction, and on image schemas ...
-
Chapter
Introduction
In this introductory chapter, Sect. 1.1 motivates the need for the alignment and comparison of process information in organizations. Then, Sect. 1.2 introduces the main contributions of our research conducted ...
-
Chapter and Conference Paper
Effective Semi-supervised Learning Based on Local Correlation
Traditionally, the manipulation of unlabeled instances is solely based on prediction of the existing model, which is vulnerable to ill-posed training set, especially when the labeled instances are limited or ...
-
Chapter and Conference Paper
Fog Computing as a Critical Link Between a Central Cloud and IoT in Support of Fast Discovery of New Hydrocarbon Reservoirs
The overall process of discovering hydrocarbon traps, starting with geological exploration through to Seismic Data Processing (SDP) is very expensive and time consuming. In the real-world, the oil and gas prod...
-
Chapter and Conference Paper
Preliminary Study of JunoBlock: Marker-Based Augmented Reality for Geometry Educational Tool
Augmented reality (AR) is one from many multimedia technologies which allows computer-generated content to be seamlessly overlaid and mixed into humans’ perceptions of the real world. In educational field, man...
-
Chapter and Conference Paper
An Efficient Auction with Variable Reserve Prices for Ridesourcing
Ridesourcing refers to the service that matches passengers who need a car to personal drivers. In this work, we study an auction model for ridesourcing that sells multiple items to unit-demand single-parameter...
-
Chapter and Conference Paper
Cognitive Impact Evaluation of Multimodal Interfaces for Blind People: Towards a Systematic Review
Visual disability has a major impact on people’s quality of life. Although there are many technologies to assist people who are blind, most of them do not necessarily guarantee the effectiveness of the intende...
-
Chapter and Conference Paper
Pyramidal Zernike Over Time: A Spatiotemporal Feature Descriptor Based on Zernike Moments
This paper aims at presenting an approach to recognize human activities in videos through the application of Zernike invariant moments. Instead of computing the regular Zernike moments, our technique, named Py...
-
Chapter and Conference Paper
NLP in OTF Computing: Current Approaches and Open Challenges
On-The-Fly Computing is the vision of covering software needs of end users by fully-automatic compositions of existing software services. End users will receive so-called service compositions tailored to their...
-
Chapter
A Novel Approach of Retinal Disorder Diagnosing Using Optical Coherence Tomography Scanners
OCT is a promising technology that allows getting a lot of data in each sample. Authors hope that it is possible to create a system that would automatically diagnose various retinal diseases basing on OCT imag...
-
Chapter and Conference Paper
Modeling Support for Strategic API Planning and Analysis
APIs provide value beyond technical functionality. They enable and manage access to strategic business assets and play a key role in enabling software ecosystems. Existing work has begun to consider the strate...
-
Chapter and Conference Paper
Early Performance Evaluation of the Hybrid Cluster with Torus Interconnect Aimed at Molecular-Dynamics Simulations
In this paper, we describe the Desmos cluster that consists of 32 hybrid nodes connected by a low-latency high-bandwidth torus interconnect. This cluster is aimed at cost-effective classical molecular dynamics...
-
Chapter and Conference Paper
Automatically Introducing Tail Recursion in CakeML
We describe and implement an optimizing compiler transformation which turns non–tail-recursive functions into equivalent tail-recursive functions in an intermediate language of the CakeML compiler. CakeML is a...
-
Chapter and Conference Paper
Superposition for Lambda-Free Higher-Order Logic
We introduce refutationally complete superposition calculi for intentional and extensional \(\lambda \) -free higher-o...
-
Chapter and Conference Paper
Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets
Performance evaluation models and techniques have been studied broadly in many fields. With the blooming of Cyber-Physical Systems (CPSs), Internet of Things (IoT) and other concepts in distributed systems, u...
-
Chapter and Conference Paper
MFI-5 Based Similarity Measurement of Business Process Models
With the increasing use of business process model management techniques, a large number of business process models are being developed in the industry, so the corresponding enterprises and organizations usuall...
-
Chapter and Conference Paper
An Active Learning Based on Uncertainty and Density Method for Positive and Unlabeled Data
Active learning can select most informative unlabeled samples to manually annotate to enlarge the training set. Many active learning methods have been proposed so far, most of them work for these data that hav...