Sciweavers

959 search results - page 171 / 192
» Transfers between Logics and their Applications
Sort
View
BPM
2005
Springer
85views Business» more  BPM 2005»
15 years 7 months ago
IT Support for Healthcare Processes
Healthcare processes require the cooperation of different organizational units and medical disciplines. In such an environment optimal process support becomes crucial. Though hea...
Richard Lenz, Manfred Reichert
OTM
2004
Springer
15 years 7 months ago
Domain Ontology as a Resource Providing Adaptivity in eLearning
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ï¬...
Galia Angelova, Ognian Kalaydjiev, Albena Strupcha...
279
Voted
KR
2010
Springer
15 years 6 months ago
Preferential Semantics for Plausible Subsumption in Possibility Theory
Handling exceptions in a knowledge-based system has been considered as an important issue in many domains of applications, such as medical domain. In this paper, we propose severa...
Guilin Qi, Zhizheng Zhang
PADL
2001
Springer
15 years 6 months ago
Specifying Authentication Protocols Using Rewriting and Strategies
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
Horatiu Cirstea
108
Voted
DATE
2000
IEEE
108views Hardware» more  DATE 2000»
15 years 6 months ago
A 50 Mbit/s Iterative Turbo-Decoder
Very low bit error rate has become an important constraint in high performance communication systems that operate at very low signal to noise ratios: due to their impressive codin...
F. Viglione, Guido Masera, Gianluca Piccinini, Mas...