Sciweavers

1126 search results - page 55 / 226
» Modularity and the Rule of Adaptation
Sort
View
129
Voted
DAIS
2007
15 years 5 months ago
Situation Specification and Realization in Rule-Based Context-Aware Applications
Context-aware applications use and manipulate context information to detect high-level situations, which are used to adapt application behavior. This paper discusses the specificat...
Patricia Dockhorn Costa, João Paulo A. Alme...
145
Voted
ICPR
2010
IEEE
15 years 1 months ago
Removing Rule-Lines from Binary Handwritten Arabic Document Images Using Directional Local Profile
In this paper, we present a novel approach for detecting and removing pre-printed rule-lines from binary handwritten Arabic document images. The proposed technique is based on a d...
Zhixin Shi, Srirangaraj Setlur, Venu Govindaraju
123
Voted
TABLEAUX
1997
Springer
15 years 7 months ago
ileanTAP: An Intuitionistic Theorem Prover
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...
Jens Otten
126
Voted
IMECS
2007
15 years 5 months ago
Knowledge Acquisition from Computer Log Files by ADG with Variable Agent Size
Abstract—We had previously proposed an outstanding evolutionary method, Automatically Defined Groups (ADG), for generating heterogeneous cooperative agents, and then we had deve...
Akira Hara, Yoshiaki Kurosawa, Takumi Ichimura
161
Voted
AAAI
2012
13 years 6 months ago
Advances in Lifted Importance Sampling
We consider lifted importance sampling (LIS), a previously proposed approximate inference algorithm for statistical relational learning (SRL) models. LIS achieves substantial vari...
Vibhav Gogate, Abhay Kumar Jha, Deepak Venugopal