Sciweavers

2957 search results - page 144 / 592
» Processing Self Corrections
Sort
View
CSFW
1999
IEEE
14 years 1 months ago
Process Algebra and Non-Interference
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
Peter Y. A. Ryan, Steve A. Schneider
CICLING
2010
Springer
13 years 11 months ago
Systematic Processing of Long Sentences in Rule Based Portuguese-Chinese Machine Translation
The translation quality and parsing efficiency are often disappointed when Rule based Machine Translation systems deal with long sentences. Due to the complicated syntactic structu...
Francisco Oliveira, Fai Wong, Iok-Sai Hong
ANLP
1992
92views more  ANLP 1992»
13 years 10 months ago
Robust Processing of Real-World Natural-Language Texts
It is often assumed that when natural language processing meets the real world, the ideal of aiming for complete and correct interpretations has to be abandoned. However, our expe...
Jerry R. Hobbs, Douglas E. Appelt, John Bear, Mabr...
CORR
2008
Springer
154views Education» more  CORR 2008»
13 years 9 months ago
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
Rohit Chadha, Mahesh Viswanathan
IJCOMSYS
2006
99views more  IJCOMSYS 2006»
13 years 9 months ago
Distributed policy processing in active-service based infrastructures
More and more applications in the Internet are requiring an intelligent service infrastructure to provide customized services. In this paper, we present an infrastructure, which c...
Wei Yu, Sriram Chellappan, Dong Xuan, Wei Zhao