Sciweavers

47 search results - page 9 / 10
» Playing with Diagrams
Sort
View
DARS
2000
Springer
128views Robotics» more  DARS 2000»
15 years 4 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
15 years 3 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»
14 years 11 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»
15 years 8 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
15 years 24 days 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...