Sciweavers

9730 search results - page 201 / 1946
» Relating models of backtracking
Sort
View
IMCSIT
2010
15 years 1 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
16 years 1 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
16 years 2 days 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 10 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
JMLR
2011
188views more  JMLR 2011»
15 years 1 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