4894 search results - page 357 / 979 » Choices |
176
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
- We present fast algorithms to synthesize exact minimal reversible circuits for various types of gates and costs. By reducing reversible logic synthesis problems to group theory p...
183
click to vote
ATC
2007
Springer
15 years 9 months ago
2007
Springer
We propose a generic architecture to facilitate the systematic design of autonomous, adaptive and safe applications. We specify generic modules including a trustworthiness enforcem...
213
click to vote
CSCWD
2008
Springer
15 years 9 months ago
2008
Springer
This paper discusses the key collaborative features of scientific visualization systems. An experiment with several groups of users has been conducted to evaluate the usability an...
195
click to vote
DALT
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...
170
click to vote
DAS
2008
Springer
15 years 9 months ago
2008
Springer
As a result of well-publicized security concerns with direct recording electronic (DRE) voting, there is a growing call for systems that employ some form of paper artifact to prov...