Sciweavers

1937 search results - page 148 / 388
» Starting B Specifications from Use Cases
Sort
View
BMCBI
2008
138views more  BMCBI 2008»
15 years 6 months ago
Combining transcriptional datasets using the generalized singular value decomposition
Background: Both microarrays and quantitative real-time PCR are convenient tools for studying the transcriptional levels of genes. The former is preferable for large scale studies...
Andreas W. Schreiber, Neil J. Shirley, Rachel A. B...
IJCAI
1997
15 years 8 months ago
Tractable Cover Compilations
Tractable covers are introduced as a new ap­ proach to equivalence-preserving compilation of propositional knowledge bases. First, a gen­ eral framework is presented. Then, two ...
Yacine Boufkhad, Éric Grégoire, Pier...
SIGCSE
2008
ACM
104views Education» more  SIGCSE 2008»
15 years 6 months ago
Inspiring blind high school students to pursue computer science with instant messaging chatbots
Blind students are an underrepresented group in computer science. In this paper, we describe our experience preparing and leading the computer science track at the National Federa...
Jeffrey P. Bigham, Maxwell B. Aller, Jeremy T. Bru...
IJISTA
2007
136views more  IJISTA 2007»
15 years 6 months ago
Optimisation-on-a-manifold for global registration of multiple 3D point sets
: We propose a novel algorithm to register multiple 3D point sets within a common reference frame simultaneously. Our approach performs an explicit optimisation on the manifold of ...
Shankar Krishnan, Pei Yean Lee, John B. Moore, Sur...
FPGA
2008
ACM
129views FPGA» more  FPGA 2008»
15 years 8 months ago
Efficient ASIP design for configurable processors with fine-grained resource sharing
Application-Specific Instruction-set Processors (ASIP) can improve execution speed by using custom instructions. Several ASIP design automation flows have been proposed recently. ...
Quang Dinh, Deming Chen, Martin D. F. Wong