Author image not provided
 Dan Lima Ventura

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article2.08
Citation Count81
Publication count39
Publication years1998-2017
Available for download6
Average downloads per article140.83
Downloads (cumulative)845
Downloads (12 Months)166
Downloads (6 Weeks)10
SEARCH
ROLE
Arrow RightAuthor only
· Editor only
· Advisor only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


39 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 39
Result page: 1 2

Sort by:

1 published by ACM
January 2017 Computers in Entertainment (CIE) - Special Issue on Musical Metacreation, Part I: Volume 14 Issue 2, Summer 2016
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 4,   Downloads (12 Months): 86,   Downloads (Overall): 86

Full text available: HtmlHtml  PDFPDF
Many music composition algorithms attempt to compose music in a particular style. The resulting music is often impressive and indistinguishable from the style of the training data, but it tends to lack significant innovation. In an effort to increase innovation in the selection of pitches and note durations, we present ...
Keywords: machine learning, Music composition

2
July 2016 Electronic Notes in Theoretical Computer Science (ENTCS): Volume 323 Issue C, July 2016
Publisher: Elsevier Science Publishers B. V.
Bibliometrics:
Citation Count: 0

We characterize β-strongly normalizing λ-terms by means of a non-idempotent intersection type system. More precisely, we first define a memory calculus K together with a non-idempotent intersection type system K, and we show that a K-term t is typable in K if and only if t is K-strongly normalizing. We ...
Keywords: intersection types, Lambda-calculus, memory calculus, strong normalization

3
February 2016 AAAI'16: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence
Publisher: AAAI Press
Bibliometrics:
Citation Count: 0

When dealing with images and semantics, most computational systems attempt to automatically extract meaning from images. Here we attempt to go the other direction and autonomously create images that communicate concepts. We present an enhanced semantic model that is used to generate novel images that convey meaning. We employ a ...

4
January 2016 Computer Vision and Image Understanding: Volume 142 Issue C, January 2016
Publisher: Elsevier Science Inc.
Bibliometrics:
Citation Count: 0

SYBA is built on the basis of the compressed sensing theory.The descriptor is robust, simple and computationally efficient.Evaluated the descriptor performance statistically on BYU feature matching dataset. Feature matching is an important step for many computer vision applications. This paper introduces the development of a new feature descriptor, called SYnthetic ...
Keywords: Feature matching, Synthetic basis functions, Feature descriptor, Feature detection

5
October 2015 Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing - ICTAC 2015 - Volume 9399
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 1

We investigate a new computational interpretation for an intuitionistic focused sequent calculus which is compatible with a resource aware semantics. For that, we associate to Herbelin's syntax a type system based on non-idempotent intersection types, together with a set of reduction rules ---inspired from the substitution at a distance paradigm--- ...

6
July 2015 IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence
Publisher: AAAI Press
Bibliometrics:
Citation Count: 1

Sum-product networks (SPNs) are rooted, directed acyclic graphs (DAGs) of sum and product nodes with well-defined probabilistic semantics. Moreover, exact inference in the distribution represented by an SPN is guaranteed to take linear time in the size of the DAG. In this paper we introduce an algorithm that learns the ...

7
December 2014 ICMLA '14: Proceedings of the 2014 13th International Conference on Machine Learning and Applications
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 0

Spectral learning algorithms learn an unknown function by learning a spectral (e.g., Fourier) representation of the function. However, there are many possible spectral representations, none of which will be best in all situations. Consequently, it seems natural to consider how a spectral learner could make use of multiple representations when ...
Keywords: spectral learning, discrete Fourier, basis selection, ensemble, representation

8
December 2014 ICMLA '14: Proceedings of the 2014 13th International Conference on Machine Learning and Applications
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 0

A common approach to sentiment classification is to identify a set of sentiment-carrying words and then to use machine learning to build a classifier that can classify sentiment based on the presence/absence of those words. In this paper, we propose a Fourier-based extension of this approach. Specifically, we introduce a ...
Keywords: spectral learning, discrete Fourier, sentiment analysis, feature discovery

9
August 2014 Computational Intelligence: Volume 30 Issue 3, August 2014
Publisher: Blackwell Publishers, Inc.
Bibliometrics:
Citation Count: 0

Many real-world problems require multilabel classification, in which each training instance is associated with a set of labels. There are many existing learning algorithms for multilabel classification; however, these algorithms assume implicit negativity, where missing labels in the training data are automatically assumed to be negative. Additionally, many of the ...
Keywords: multilabel classification, implicit negativity, backpropagation, missing labels

10 published by ACM
April 2014 ACM Transactions on Intelligent Systems and Technology (TIST) - Special Issue on Linking Social Granularity and Functions: Volume 5 Issue 2, April 2014
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 4,   Downloads (12 Months): 45,   Downloads (Overall): 295

Full text available: PDFPDF
In the field of visual art, metaphor is a way to communicate meaning to the viewer. We present a computational system for communicating visual metaphor that can identify adjectives for describing an image based on a low-level visual feature representation of the image. We show that the system can use ...
Keywords: clustering, neural networks, evolutionary art, Visual metaphor

11
December 2013 ICMLA '13: Proceedings of the 2013 12th International Conference on Machine Learning and Applications - Volume 01
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 0

In this paper, we explore the problem of how to learn spectral (e.g., Fourier) models for classification problems. Specifically, we consider two sub-problems of spectral learning: (1) how to select the basis functions that will be included in the model and (2) how to assign coefficients to the selected basis ...

12
September 2013 ICSC '13: Proceedings of the 2013 IEEE Seventh International Conference on Semantic Computing
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 0

We present computational models capable of understanding and conveying concepts based on word associations. We discover word associations automatically using corpus-based semantic models with Wikipedia as the corpus. The best model effectively combines corpus-based models with preexisting databases of free association norms gathered from human volunteers. We use this model ...
Keywords: Semantic Models, Conceptual Knowledge, Games with a Purpose

13
August 2013 Computers in Biology and Medicine: Volume 43 Issue 7, August, 2013
Publisher: Pergamon Press, Inc.
Bibliometrics:
Citation Count: 0

Elevated pulmonary artery pressure (PAP) is a significant healthcare risk. Continuous monitoring for patients with elevated PAP is crucial for effective treatment, yet the most accurate method is invasive and expensive, and cannot be performed repeatedly. Noninvasive methods exist but are somewhat inaccurate, expensive, and cannot be used for continuous ...
Keywords: Neural networks topology, Feature selection, Medical diagnostics, Neural networks, SVM parameter selection, PAP, Dimensionality reduction

14
June 2013 Bioinformatics: Volume 29 Issue 12, June 2013
Publisher: Oxford University Press
Bibliometrics:
Citation Count: 0


15
December 2012 NIPS'12: Proceedings of the 25th International Conference on Neural Information Processing Systems - Volume 2
Publisher: Curran Associates Inc.
Bibliometrics:
Citation Count: 6

The sum-product network (SPN) is a recently-proposed deep model consisting of a network of sum and product nodes, and has been shown to be competitive with state-of-the-art deep models on certain difficult tasks such as image completion. Designing an SPN network architecture that is suitable for the task at hand ...

16
January 2012 Pattern Recognition Letters: Volume 33 Issue 1, January, 2012
Publisher: Elsevier Science Inc.
Bibliometrics:
Citation Count: 0

Though the k-nearest neighbor (k-NN) pattern classifier is an effective learning algorithm, it can result in large model sizes. To compensate, a number of variant algorithms have been developed that condense the model size of the k-NN classifier at the expense of accuracy. To increase the accuracy of these condensed ...
Keywords: Boosting, Classification, Distance measures, kNN

17
December 2011 IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics: Volume 41 Issue 6, December 2011
Publisher: IEEE Press
Bibliometrics:
Citation Count: 1

We present an algorithm for manifold learning called manifold sculpting , which utilizes graduated optimization to seek an accurate manifold embedding. An empirical analysis across a wide range of manifold problems indicates that manifold sculpting yields more accurate results than a number of existing algorithms, including Isomap, locally linear embedding ...

18 published by ACM
November 2011 C&C '11: Proceedings of the 8th ACM conference on Creativity and cognition
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1,   Downloads (12 Months): 6,   Downloads (Overall): 156

Full text available: PDFPDF
In conjunction with Brigham Young University's Visual Arts program, we conducted a study centered around a system designed to be an artificial artist, in order to synthesize the ideas of visual artists and computer scientists. Participants from both disciplines designed activities that imposed the limitations of the artificial system on ...
Keywords: art, creative process, collaboration, evolutionary system

19 published by ACM
November 2011 C&C '11: Proceedings of the 8th ACM conference on Creativity and cognition
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 7,   Downloads (Overall): 70

Full text available: PDFPDF
The process of creating art is an optimization problem for which the objective function is probably unknown and possibly undefinable. That objective function is imposed on the artist by an environment which may be composed of any of a number of sources: peers, a jury, society, the self. This does ...
Keywords: cultural expression, optimization, visual art

20
October 2010 Neurocomputing: Volume 73 Issue 16-18, October, 2010
Publisher: Elsevier Science Publishers B. V.
Bibliometrics:
Citation Count: 8

Liquid state machines (LSMs) exploit the power of recurrent spiking neural networks (SNNs) without training the SNN. Instead, LSMs randomly generate this network and then use it as a filter for a generic machine learner. Previous research has shown that LSMs can yield competitive results; however, the process can require ...
Keywords: Spiking neural network, Recurrent network, Liquid state machine



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us