Sciweavers

6740 search results - page 278 / 1348
» Using Classification as a Programming Language
Sort
View
83
Voted
ANLP
2000
109views more  ANLP 2000»
15 years 3 months ago
A Classification Approach to Word Prediction
The eventual goal of a language model is to accurately predict the value of a missing word given its context. We present an approach to word prediction that is based on learning a...
Yair Even-Zohar, Dan Roth
KBSE
2010
IEEE
15 years 1 months ago
A program differencing algorithm for verilog HDL
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
Adam Duley, Chris Spandikow, Miryung Kim
144
Voted
APLAS
2003
ACM
15 years 7 months ago
Constraint Functional Logic Programming for Origami Construction
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
KDD
1998
ACM
442views Data Mining» more  KDD 1998»
15 years 6 months ago
BAYDA: Software for Bayesian Classification and Feature Selection
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
Petri Kontkanen, Petri Myllymäki, Tomi Siland...
219
Voted
POPL
2008
ACM
16 years 2 months ago
Formal verification of translation validators: a case study on instruction scheduling optimizations
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
Jean-Baptiste Tristan, Xavier Leroy