Sciweavers

2308 search results - page 145 / 462
» Representing Symbolic Reasoning
Sort
View
ICML
2009
IEEE
16 years 7 months ago
A stochastic memoizer for sequence data
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...
Frank Wood, Cédric Archambeau, Jan Gasthaus...
SIGSOFT
2005
ACM
16 years 7 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
JCDL
2009
ACM
154views Education» more  JCDL 2009»
16 years 29 days ago
An alignment based system for chord sequence retrieval
Music retrieval systems for Western tonal music digital libraries have to consider rhythmic, timbral, melodic and harmonic information. Most existing retrieval systems only take i...
Pierre Hanna, Matthias Robine, Thomas Rocher
GLOBECOM
2008
IEEE
16 years 27 days ago
Low-Complexity Maximum Likelihood Detection of Orthogonal Space-Time Block Codes
Abstract— In this paper, we propose a low complexity Maximum Likelihood (ML) decoding algorithm for orthogonal spacetime block codes (OSTBCs) based on the real-valued lattice rep...
Luay Azzam, Ender Ayanoglu
EVOW
2007
Springer
16 years 18 days ago
Toward Greater Artistic Control for Interactive Evolution of Images and Animation
We present several practical improvements to the interactive evolution of 2D images, some of which are also applicable to more general genetic programming problems. We introduce tr...
David A. Hart