6829 search results - page 1094 / 1366 » Quantitative Generalizations of Languages |
128
Voted
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
The software sound synthesis is closely related to the Music N programs started with Music I in 1957. Although Music N has many advantages such as unit generators and a flexible ...
121
click to vote
ITS
2004
Springer
15 years 10 months ago
2004
Springer
Previous research has shown that self-explanation can be supported effectively in an intelligent tutoring system by simple means such as menus. We now focus on the hypothesis that ...
131
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
179
click to vote
KDD
2004
ACM
15 years 10 months ago
2004
ACM
Using SQL has not been considered an efficient and feasible way to implement data mining algorithms. Although this is true for many data mining, machine learning and statistical a...
153
click to vote
NMR
2004
Springer
15 years 10 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...