Sciweavers

9730 search results - page 201 / 1946
» Relating models of backtracking
Sort
View
IMCSIT
2010
14 years 11 months ago
SyMGiza++: A Tool for Parallel Computation of Symmetrized Word Alignment Models
SyMGiza++ -- a tool that computes symmetric word alignment models with the capability to take advantage of multi-processor systems -- is presented. A series of fairly simple modifi...
Marcin Junczys-Dowmunt, Arkadiusz Szal
MFCS
2009
Springer
15 years 10 months ago
A General Class of Models of
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
Giulio Manzonetto
SKG
2005
IEEE
15 years 9 months ago
DLOnto: A Semantic Information Model for Digital Libraries
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
Ming Zhang, Zhi-Hong Deng, Shukai Ding, Dongqing Y...
CSCLP
2006
Springer
15 years 7 months ago
A Constraint Model for State Transitions in Disjunctive Resources
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
Roman Barták, Ondrej Cepek
152
Voted
JMLR
2011
188views more  JMLR 2011»
14 years 11 months ago
Linking Granger Causality and the Pearl Causal Model with Settable Systems
The causal notions embodied in the concept of Granger causality have been argued to belong to a different category than those of Judea Pearl’s Causal Model, and so far their re...
Halbert White, Karim Chalak, Xun Lu