814 search results - page 20 / 163 » Analysis of Modular Arithmetic |
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
Modular robots are systems composed of a number of independent units that can be reconfigured to fit the task at hand. When the modules are computationally independent, they for...
ASWC
2006
Springer
15 years 1 months ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
JUCS
2008
14 years 10 months ago
2008
: Taking as a starting point (a modification of) a weak theory of arithmetic of Jan Johannsen and Chris Pollett (connected with the hierarchy of counting functions), we introduce s...
ACSD
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...
BSL
2007
14 years 10 months ago
2007
We introduce a nonstandard arithmetic NQA− based on the theory developed by R. Chuaqui and P. Suppes in [2] (we will denote it by NQA+ ), with a weakened external open minimizati...