Sciweavers

10602 search results - page 82 / 2121
» Weakly Useful Sequences
Sort
View
CONCUR
2005
Springer
14 years 2 months ago
Transactions in RCCS
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtr...
Vincent Danos, Jean Krivine
CONCUR
2000
Springer
14 years 1 months ago
Chi Calculus with Mismatch
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
Yuxi Fu, Zhenrong Yang
EUROSPI
2006
Springer
14 years 28 days ago
Implementing an ISO 9001 Certified Process
Abstract. This paper presents a case study of how a Norwegian company introduced an ISO certified process. By identifying the company's strong and weak sides plus the expectat...
Tor Stålhane
IJCAI
2007
13 years 10 months ago
Managing Domain Knowledge and Multiple Models with Boosting
We present MBoost, a novel extension to AdaBoost that extends boosting to use multiple weak learners explicitly, and provides robustness to learning models that overfit or are po...
Peng Zang, Charles Lee Isbell Jr.
EUSFLAT
2003
138views Fuzzy Logic» more  EUSFLAT 2003»
13 years 10 months ago
Multirelational linguistic models
This paper regards the recurrent linguistic rule bases. These systems are considered as relational models with several relations. Such representation allows to use relation algebr...
Oleksandr Sokolov