Sciweavers

120 search results - page 10 / 24
» Merging partial behavioural models
Sort
View
IADIS
2004
13 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
ICLP
2010
Springer
14 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
13 years 12 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
13 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...
CCE
2008
13 years 10 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