Sciweavers

2790 search results - page 184 / 558
» A generative theory of relevance
Sort
View
IIS
2003
15 years 8 months ago
The Development of the Inductive Database System VINLEN: A Review of Current Research
Current research on the VINLEN inductive database system is briefly reviewed and illustrated by selected results. The goal of research on VINLEN is to develop a methodology for de...
Kenneth A. Kaufman, Ryszard S. Michalski
SAC
2010
ACM
16 years 1 months ago
MSP algorithm: multi-robot patrolling based on territory allocation using balanced graph partitioning
This article addresses the problem of efficient multi-robot patrolling in a known environment. The proposed approach assigns regions to each mobile agent. Every region is represen...
David Portugal, Rui Rocha
TPHOL
2003
IEEE
15 years 12 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg
AEI
2008
108views more  AEI 2008»
15 years 6 months ago
Combinatorial synthesis approach employing graph networks
The paper proposes a methodology to assist the designer at the initial stages of the design synthesis process by enabling him/her to employ knowledge and algorithms existing in gr...
Offer Shai, Noel Titus, Karthik Ramani
JOLLI
2002
74views more  JOLLI 2002»
15 years 6 months ago
Referent Systems and Relational Grammar
Abstract. Relational Grammar (RG) was introduced in the 70's as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. F...
Marcus Kracht