Sciweavers

909 search results - page 106 / 182
» The Development of the AQ20 Learning System and Initial Expe...
Sort
View
ICDAR
2003
IEEE
14 years 2 months ago
Engineering Drawings Recognition Using a Case-based Approach
In this paper, we propose a framework for engineering drawings recognition using a case-based approach. The key idea of our scheme is that, interactively, the user provides an exa...
Yan Luo, Liu Wenyin
ATAL
1999
Springer
14 years 1 months ago
Towards a Distributed, Environment-Centered Agent Framework
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...
John R. Graham, Keith Decker
JTRES
2010
ACM
13 years 9 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
VLDB
1989
ACM
82views Database» more  VLDB 1989»
14 years 1 months ago
Database Support for Hypertext
with a full abstract specification of the data-types involved and a multi-level architecture similar to that of a DBMS. A related question is the kind of model that is most suitabl...
B. Nick Rossiter
ECAI
2010
Springer
13 years 10 months ago
ProbLog Technology for Inference in a Probabilistic First Order Logic
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...
Maurice Bruynooghe, Theofrastos Mantadelis, Angeli...