Sciweavers

9931 search results - page 257 / 1987
» Generative Modeling by PRISM
Sort
View
DNA
2007
Springer
106views Bioinformatics» more  DNA 2007»
15 years 8 months ago
Hardware Acceleration for Thermodynamic Constrained DNA Code Generation
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...
Qinru Qiu, Prakash Mukre, Morgan Bishop, Daniel J....
133
Voted
ISMIS
2000
Springer
15 years 8 months ago
Automatic Semantic Header Generator
Indexing file systems is a powerful means of helping users locate documents, software, and other types of data among large repositories. In environments that contain many differen...
Bipin C. Desai, Sami S. Haddad, Abdelbaset Ali
HICSS
1995
IEEE
93views Biometrics» more  HICSS 1995»
15 years 8 months ago
Generating optimization-based decision support systems
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
Arthur Geoffrion, Sergio Maturana
152
Voted
PARLE
1987
15 years 8 months ago
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
EDM
2010
139views Data Mining» more  EDM 2010»
15 years 6 months ago
Automatic Rating of User-Generated Math Solutions
Intelligent tutoring systems adapt to users' cognitive factors, but typically not to affective or conative factors. Crowd-sourcing may be a way to create materials that engage...
Turadg Aleahmad, Vincent Aleven, Robert Kraut