Sciweavers

770 search results - page 127 / 154
» Subsequence similarity language models
Sort
View
CAISE
2005
Springer
14 years 1 months ago
Ontology Based Business Process Description
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
Agnes Koschmider, Andreas Oberweis
ICALT
2003
IEEE
14 years 1 months ago
An Intelligent Tutoring System Prototype for Learning to Program Java?
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
Edward R. Sykes
PADL
2001
Springer
14 years 28 days 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
PPDP
1999
Springer
14 years 22 days ago
A Calculus for Interaction Nets
hemical abstract machine Shinya Sato Himeji Dokkyo University, Faculty of Econoinformatics, 7-2-1 Kamiohno, Himeji-shi, Hyogo 670-8524, Japan Ian Mackie LIX, CNRS UMR 7161, ´Ecole...
Maribel Fernández, Ian Mackie
ICALP
1998
Springer
14 years 21 days ago
Power of Cooperation and Multihead Finite Systems
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...
Pavol Duris, Tomasz Jurdzinski, Miroslaw Kutylowsk...