Sciweavers

503 search results - page 6 / 101
» Using The Same System For Analyzing And Synthesizing Sentenc...
Sort
View
EON
2008
14 years 11 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
SEMWEB
2010
Springer
14 years 7 months ago
Optimize First, Buy Later: Analyzing Metrics to Ramp-Up Very Large Knowledge Bases
As knowledge bases move into the landscape of larger ontologies and have terabytes of related data, we must work on optimizing the performance of our tools. We are easily tempted t...
Paea LePendu, Natalya Fridman Noy, Clement Jonquet...
FASE
2003
Springer
15 years 2 months ago
Detecting Implied Scenarios Analyzing Non-local Branching Choices
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
Henry Muccini
ICASSP
2009
IEEE
15 years 4 months ago
Genre effects on automatic sentence segmentation of speech: A comparison of broadcast news and broadcast conversations
We investigate genre effects on the task of automatic sentence segmentation, focusing on two important domains – broadcast news (BN) and broadcast conversation (BC). We employ a...
Jáchym Kolár, Yang Liu, Elizabeth Sh...
AIED
2009
Springer
15 years 4 months ago
Using Learning Decomposition to Analyze Instructional Effectiveness in the ASSISTment System
A basic question of instruction is how effective it is in promoting student learning. This paper presents a study determining the relative efficacy of different instructional conte...
Mingyu Feng, Neil T. Heffernan, Joseph E. Beck