2607 search results - page 39 / 522 » Complete Functional Synthesis |
125
Voted
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— Assume a swarm of mobile robots is in the act of transporting a large object in the plane, by applying unilateral forces to the perimeter of that object. We address the questio...
107
Voted
GLVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. Such reversible functions are realized as a cascade of Toffoli gates. In th...
106
Voted
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
An abundance of research e orts in low power logic synthesis have so far been focused on and or or nand nor based logic. A typical approach is to rst generate an initial multi-lev...
114
click to vote
ENTCS
2010
15 years 2 months ago
2010
This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based ...
150
Voted
JMIV
1998
15 years 2 months ago
1998
Classically, connectivity is a topological notion for sets, often introduced by means of arcs. A non topological axiomatics has been proposed by Matheron and Serra. The present pa...