Sciweavers

FUIN
2002
92views more  FUIN 2002»
13 years 4 months ago
Real Time Control for Autonomous Mobile Robots
Control of autonomous mobile robots in dynamical environments is interesting from a cognitive point of view as well as under application view points. Stimulus response controls ar...
Hans-Dieter Burkhard
FUIN
2002
74views more  FUIN 2002»
13 years 4 months ago
Complexity of the Unique Extension Problem in Default Logic
Xishun Zhao, Paolo Liberatore
FUIN
2002
108views more  FUIN 2002»
13 years 4 months ago
Approximate Entropy Reducts
We use information entropy measure to extend the rough set based notion of a reduct. We introduce the Approximate Entropy Reduction Principle (AERP). It states that any simplificat...
Dominik Slezak
FUIN
2002
92views more  FUIN 2002»
13 years 4 months ago
Characterization Results for Time-Varying Codes
Time-varying codes associate variable length code words to letters being encoded depending on their positions in the input string. These codes have been introduced in [8] as a pro...
Ferucio Laurentiu Tiplea, Erkki Mäkinen, Drag...
FUIN
2002
113views more  FUIN 2002»
13 years 4 months ago
Cellular Automata and Intermediate Reachability Problems
Abstract. We exhibit one-dimensional cellular automata whose reachability and confluence problems have arbitrary r.e. degree of unsolvability.
Klaus Sutner
FUIN
2002
100views more  FUIN 2002»
13 years 4 months ago
UPSILON: Universal Programming System with Incomplete Lazy Object Notation
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...
Brian Postow, Kenneth W. Regan, Carl H. Smith
FUIN
2002
107views more  FUIN 2002»
13 years 4 months ago
Towards an Ontology of Approximate Reason
Abstract. This article introduces structural aspects in an ontology of approximate reason. The basic assumption in this ontology is that approximate reason is a capability of an ag...
James F. Peters, Andrzej Skowron, Jaroslaw Stepani...
FUIN
2002
88views more  FUIN 2002»
13 years 4 months ago
A Formalization of Transition P Systems
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
Mario J. Pérez-Jiménez, Fernando San...
FUIN
2002
128views more  FUIN 2002»
13 years 4 months ago
PathLog: a Query Language for Schemaless Databases of Partially Labeled Objects
Abstract. In the paper we deal with the problem of modeling and querying information in schemaless databases of partially labeled objects (PLO-DB). Partially labeled objects are us...
Tadeusz Pankowski