Sciweavers

120 search results - page 10 / 24
» Merging partial behavioural models
Sort
View
IADIS
2004
14 years 11 months ago
Modelling Inductive Reasoning Ability for Adaptive Virtual Learning Environment
Inductive reasoning is one of the important characteristics of human intelligence. Researchers have regarded inductive reasoning as one of the seven primary mental abilities that ...
Taiyu Lin, Kinshuk, Paul McNab
103
Voted
ICLP
2010
Springer
15 years 1 months ago
Bisimilarity in Concurrent Constraint Programming
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
Andres A. Aristizabal P.
BIRTHDAY
2008
Springer
14 years 11 months ago
From Domain to Requirements
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
Dines Bjørner
COLING
2010
14 years 4 months ago
Dependency-Based Bracketing Transduction Grammar for Statistical Machine Translation
In this paper, we propose a novel dependency-based bracketing transduction grammar for statistical machine translation, which converts a source sentence into a target dependency t...
Jinsong Su, Yang Liu, Haitao Mi, Hongmei Zhao, Yaj...
70
Voted
CCE
2008
14 years 9 months ago
Dynamic modelling and control of planar anode-supported solid oxide fuel cell
Most solid oxide fuel cell (SOFC) modelling efforts emphasize steady-state cell operation. However, understanding the dynamic behaviour is essential to predict the performance and...
A. Chaisantikulwat, C. Diaz-Goano, E. S. Meadows