2848 search results - page 465 / 570 » A Contract Based System For Large Data Visualization |
93
Voted
ICDAR
1999
IEEE
15 years 7 months ago
1999
IEEE
We describe the Open Mind Initiative, a framework for large-scale collaborative efforts in building components of "intelligent" systems that address common-sense reasoni...
118
Voted
DNA
2007
Springer
15 years 6 months ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
132
Voted
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
111
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: A key challenge in systems biology is the reconstruction of an organism's metabolic network from its genome sequence. One strategy for addressing this problem is ...
117
Voted
CAD
2006
Springer
15 years 2 months ago
2006
Springer
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...