Sciweavers

9264 search results - page 1268 / 1853
» Space Between Languages
Sort
View
CONCUR
2010
Springer
15 years 8 months ago
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar B...
FLAIRS
2010
15 years 8 months ago
Problem Solving by English Learners and English Primary Students in an Algebra Readiness ITS
Problem solving was compared for English Learners and English Primary students who had used AnimalWatch, an algebra-readiness ITS. Data records for word problems solved by student...
Federico Cirett, Carole R. Beal
COORDINATION
2010
Springer
15 years 7 months ago
Behavioural Contracts with Request-Response Operations
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
ICASSP
2010
IEEE
15 years 7 months ago
Evaluation of semantic role labeling and dependency parsing of automatic speech recognition output
Semantic role labeling (SRL) is an important module of spoken language understanding systems. This work extends the standard evaluation metrics for joint dependency parsing and SR...
Benoît Favre, Bernd Bohnet, Dilek Hakkani-T&...
DIAGRAMS
2010
Springer
15 years 7 months ago
Heterogeneous Reasoning in Real Arithmetic
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
Matej Urbas, Mateja Jamnik
« Prev « First page 1268 / 1853 Last » Next »