Sciweavers

1938 search results - page 189 / 388
» On Positive Relational Calculi
Sort
View
IJAIT
2008
146views more  IJAIT 2008»
13 years 9 months ago
Learning to Behave in Space: a Qualitative Spatial Representation for Robot Navigation with Reinforcement Learning
ion mechanism to create a representation of space consisting of the circular order of detected landmarks and the relative position of walls towards the agent's moving directio...
Lutz Frommberger
ENTCS
2006
105views more  ENTCS 2006»
13 years 9 months ago
A Game Semantics for Proof Search: Preliminary Results
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
Dale Miller, Alexis Saurin
EOR
2006
83views more  EOR 2006»
13 years 9 months ago
Lower bounds and heuristic algorithms for the k
We consider the problem of partitioning a set of positive integers values into a given number of subsets, each having an associated cardinality limit, so that the maximum sum of v...
Mauro Dell'Amico, Manuel Iori, Silvano Martello, M...
IEPOL
2006
53views more  IEPOL 2006»
13 years 9 months ago
Individual and collective determinants of academic scientists' productivity
: The paper analyses the scientific research production of more than a thousand faculty members at Louis Pasteur University, a large and wellranked European research university. Th...
Nicolas Carayol, Mireille Matt
IJFCS
2006
70views more  IJFCS 2006»
13 years 9 months ago
The Computational Complexity of Avoiding Forbidden Submatrices by Row Deletions
We initiate a systematic study of the Row Deletion(B) problem on matrices: Given an input matrix A and a fixed "forbidden submatrix" B, the task is to remove a minimum n...
Sebastian Wernicke, Jochen Alber, Jens Gramm, Jion...