Sciweavers

697 search results - page 14 / 140
» Symbols are not uniquely human
Sort
View
ICANN
2001
Springer
15 years 3 months ago
Online Symbolic-Sequence Prediction with Discrete-Time Recurrent Neural Networks
This paper studies the use of discrete-time recurrent neural networks for predicting the next symbol in a sequence. The focus is on online prediction, a task much harder than the c...
Juan Antonio Pérez-Ortiz, Jorge Calera-Rubi...
SDM
2012
SIAM
208views Data Mining» more  SDM 2012»
13 years 27 days ago
Mining Massive Archives of Mice Sounds with Symbolized Representations
Many animals produce long sequences of vocalizations best described as “songs.” In some animals, such as crickets and frogs, these songs are relatively simple and repetitive c...
Jesin Zakaria, Sarah Rotschafer, Abdullah Mueen, K...
83
Voted
IJCAI
2007
14 years 12 months ago
Mediating between Qualitative and Quantitative Representations for Task-Orientated Human-Robot Interaction
In human-robot interaction (HRI) it is essential that the robot interprets and reacts to a human’s utterances in a manner that reflects their intended meaning. In this paper we...
Michael Brenner, Nick Hawes, John D. Kelleher, Jer...
ICSE
2012
IEEE-ACM
13 years 27 days ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 1 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie