Sciweavers

47 search results - page 9 / 10
» Playing with Diagrams
Sort
View
DARS
2000
Springer
128views Robotics» more  DARS 2000»
13 years 12 months ago
Terrain Model Acquisition by Mobile Robot Teams and n-Connectivity
Abstract. The connectivity of the con guration space has been a valuable concept in the motion planning for single robots in both known and unknown terrains. We show here that n-co...
Nageswara S. V. Rao
CAISE
2009
Springer
13 years 10 months ago
The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
Giancarlo Guizzardi
COMBINATORICS
2007
64views more  COMBINATORICS 2007»
13 years 7 months ago
An Analogue of the Thue-Morse Sequence
We consider the finite binary words Z(n), n ∈ N, defined by the following selfsimilar process: Z(0) := 0, Z(1) := 01, and Z(n + 1) := Z(n) · Z(n − 1), where the dot · deno...
Emmanuel Ferrand
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
14 years 4 months ago
Scalable exploration of functional dependency by interpolation and incremental SAT solving
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang H...
APCCM
2009
13 years 8 months ago
Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling
A requirements analysis step plays a significant role on the development of information systems, and in this step we various kinds of abstract models of the systems (called requir...
Ryo Hasegawa, Motohiro Kitamura, Haruhiko Kaiya, M...