Sciweavers

12673 search results - page 357 / 2535
» Learning while designing
Sort
View
NC
2006
116views Neural Networks» more  NC 2006»
15 years 6 months ago
Automated Design and Programming of a Microfluidic DNA Computer
Previously, we described ways to implement the functions AND and OR in a DNA computer consisting of microreactors with attached heating elements that control annealing of DNA. Base...
Michael S. Livstone, Ron Weiss, Laura F. Landweber
FOIKS
2010
Springer
15 years 4 months ago
Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
Mehdi Kaytoue-Uberall, Zainab Assaghir, Nizar Mess...
TACAS
2010
Springer
151views Algorithms» more  TACAS 2010»
15 years 4 months ago
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
K. Rustan M. Leino, Philipp Rümmer
HCI
2009
15 years 4 months ago
Flight Searching - A Comparison of Two User-Interface Design Strategies
The most usable user-interface is not necessarily the most popular. For example, the extent to which an interaction is based on graphics can depend highly on convention rather than...
Antti Pirhonen, Niko Kotilainen
ICASSP
2011
IEEE
14 years 10 months ago
Reduced-hardware digital filter design via joint quantization and multiple constant multiplication optimization
The focus of this paper is to provide a framework for the joint optimization of both the coefficient quantization and multiple constant multiplication (MCM) problems. It is known...
Matthew B. Gately, Mark B. Yeary, Choon Yik Tang