Sciweavers

1999 search results - page 170 / 400
» Dependently Typed Grammars
Sort
View
DALT
2007
Springer
15 years 8 months ago
Structured Argumentation in a Mediator for Online Dispute Resolution
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
Ioan Alfred Letia, Adrian Groza
DOA
2001
122views more  DOA 2001»
15 years 7 months ago
Component Search Service and Deployment of Distributed Applications
This paper presents and discusses some infrastructure services necessary for distributed applications development. The main service considered is the component search service whic...
Djemai Kebbal, Guy Bernard
PROLAMAT
2001
15 years 7 months ago
Logical Communication Levels in an Intelligent Flexible Manufacturing System
: In most cases in intelligent manufacturing applications the communication functions depend on the capabilities of the intelligent tool (e.g. expert system). Three different types...
J. Nacsa
VMV
2001
164views Visualization» more  VMV 2001»
15 years 7 months ago
Visual-Geometric Scene Reconstruction from Image Streams
Visual-geometric scene reconstructions capture the visual appearance and geometry of real 3D scenes from image streams. Depending on the type of camera motion and type of scene st...
Reinhard Koch, Jan-Michael Frahm
COLING
2000
15 years 7 months ago
Japanese Named Entity Extraction Evaluation - Analysis of Results
We will report on one of the two tasks in the IREX (Information Retrieval and Extraction Exercise) project, an evaluation-based project for Information Retrieval and Information E...
Satoshi Sekine, Yoshio Eriguchi