Sciweavers

5510 search results - page 236 / 1102
» Mathematics
Sort
View
IVC
2007
130views more  IVC 2007»
15 years 5 months ago
Attribute-space connectivity and connected filters
In this paper connected operators from mathematical morphology are extended to a wider class of operators, which are based on connectivities in higher-dimensional spaces, similar ...
Michael H. F. Wilkinson
JAPLL
2007
88views more  JAPLL 2007»
15 years 5 months ago
Some comments on history based structures
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
Eric Pacuit
TROB
2008
99views more  TROB 2008»
15 years 5 months ago
Snake Robot Obstacle-Aided Locomotion: Modeling, Simulations, and Experiments
Snakes utilize irregularities in the terrain, such as rocks and vegetation, for faster and more efficient locomotion. This motivates the development of snake robots that actively u...
Aksel Andreas Transeth, Remco I. Leine, Christoph ...
ACS
2002
15 years 5 months ago
Categorical Abstract Algebraic Logic: Algebraizable Institutions
cal Abstract Algebraic Logic: Algebraizable Institutions To Don Pigozzi this work is dedicated GEORGE VOUTSADAKIS Department of Mathematics, Iowa State University, Ames, IA 50011 U...
George Voutsadakis
AI
1999
Springer
15 years 5 months ago
Modal Logics, Description Logics and Arithmetic Reasoning
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
Hans Jürgen Ohlbach, Jana Koehler