Sciweavers

4048 search results - page 105 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
118
Voted
CSEE
2000
Springer
15 years 7 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
141
Voted
KDD
2008
ACM
174views Data Mining» more  KDD 2008»
16 years 3 months ago
Automatic identification of quasi-experimental designs for discovering causal knowledge
Researchers in the social and behavioral sciences routinely rely on quasi-experimental designs to discover knowledge from large databases. Quasi-experimental designs (QEDs) exploi...
David D. Jensen, Andrew S. Fast, Brian J. Taylor, ...

Book
556views
17 years 1 months ago
Handbook of mathematical functions
"The present Handbook has been designed to provide scientific investigators with a comprehensive and self-contained summary of the mathematical functions that arise in physica...
M. Abramowitz and I. A. Stegun
135
Voted
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 3 months ago
Adaptive Demodulation in Differentially Coherent Phase Systems: Design and Performance Analysis
Adaptive Demodulation (ADM) is a newly proposed rate-adaptive system which operates without requiring Channel State Information (CSI) at the transmitter (unlike adaptive modulatio...
J. David Brown, Jamshid Abouei, Konstantinos N. Pl...
107
Voted
JVM
2001
105views Education» more  JVM 2001»
15 years 4 months ago
A Java Compiler for Many Memory Models
ompiler for Many Memory Models { extended abstract Samuel P. Midki IBM TJ Watson Research Jaejin Lee Dept. of Computer Science and Engineering, Michigan State University David A. P...
Samuel P. Midkiff