Sciweavers

11030 search results - page 389 / 2206
» Generative Sound Models
Sort
View
PARLE
1987
15 years 10 months ago
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
EDM
2010
139views Data Mining» more  EDM 2010»
15 years 8 months ago
Automatic Rating of User-Generated Math Solutions
Intelligent tutoring systems adapt to users' cognitive factors, but typically not to affective or conative factors. Crowd-sourcing may be a way to create materials that engage...
Turadg Aleahmad, Vincent Aleven, Robert Kraut
ONDM
2007
15 years 8 months ago
Optical IP Switching for Dynamic Traffic Engineering in Next-Generation Optical Networks
WDM technology has increased network link capacity dramatically, moving the network bottleneck from the transport to the routing layer. Hybrid electro-optical architectures seem at...
Marco Ruffini, Donal O'Mahony, Linda Doyle
DELOS
2004
15 years 8 months ago
Supporting Information Access in Next Generation Digital Library Architectures
Current developments on Service-oriented Architectures, Peer-to-Peer and Grid computing promise more open and flexible architectures for digital libraries. They will open DL techno...
Ingo Frommholz, Predrag Knezevic, Bhaskar Mehta, C...
IJCAI
2003
15 years 8 months ago
Automated Generation of Understandable Contingency Plans
Markov decision processes (MDPs) and contingency planning (CP) are two widely used approaches to planning under uncertainty. MDPs are attractive because the model is extremely gen...
Max Horstmann, Shlomo Zilberstein