Sciweavers

1060 search results - page 60 / 212
» Notes on Coding Theory
Sort
View
WEBI
2004
Springer
15 years 11 months ago
A Web-Based Intelligent Tutoring System for Computer Programming
Web Intelligence is a direction for scientific research that explores practical applications of Artificial Intelligence to the next generation of Web-empowered systems. In this ...
Cory J. Butz, Shan Hua, R. Brien Maguire
KI
1992
Springer
15 years 10 months ago
How to Construct a Logic for Your Application
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
Dov M. Gabbay
LICS
1990
IEEE
15 years 10 months ago
Normal Process Representatives
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...
Vijay Gehlot, Carl A. Gunter
LREC
2010
195views Education» more  LREC 2010»
15 years 7 months ago
The MuLeXFoR Database: Representing Word-Formation Processes in a Multilingual Lexicographic Environment
This paper introduces a new lexicographic resource, the MuLeXFoR database, which aims to present word-formation processes in a multilingual environment. Morphological items repres...
Bruno Cartoni, Marie-Aude Lefer
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 6 months ago
A Fast Approach to Creative Telescoping
Abstract. In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that e...
Christoph Koutschan