Sciweavers

2263 search results - page 43 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
ICALT
2009
IEEE
15 years 8 months ago
Korean Word Associations: The Linked Structures for Language Learning
This paper reports on Korean Word Associations (KorWA) which were collected to construct a semantic network for Korean language. An approach of graph representation and network an...
Jaeyoung Jung, Nobuyasu Makoshi, Hiroyuki Akama
ICML
1999
IEEE
16 years 2 months ago
Abstracting from Robot Sensor Data using Hidden Markov Models
ing from Robot Sensor Data using Hidden Markov Models Laura Firoiu, Paul Cohen Computer Science Department, LGRC University of Massachusetts at Amherst, Box 34610 Amherst, MA 01003...
Laura Firoiu, Paul R. Cohen
PTS
2008
109views Hardware» more  PTS 2008»
15 years 2 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
100
Voted
ICML
2005
IEEE
16 years 2 months ago
A practical generalization of Fourier-based learning
This paper presents a search algorithm for finding functions that are highly correlated with an arbitrary set of data. The functions found by the search can be used to approximate...
Adam Drake, Dan Ventura
ICALT
2005
IEEE
15 years 7 months ago
An Empirical Exploration of Using Wiki in an English as a Second Language Course
In this paper, we present an empirical study of using a new and cost-effective Web-based collaboration software, Wiki, in a freshman-level English as a second language (ESL) cours...
Hao-Chuan Wang, Chun-Hung Lu, Jun-Yi Yang, Hsin-We...