Sciweavers

4048 search results - page 105 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
102
Voted
CSEE
2000
Springer
15 years 5 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,...
114
Voted
KDD
2008
ACM
174views Data Mining» more  KDD 2008»
16 years 1 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
16 years 10 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
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 24 days 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...
JVM
2001
105views Education» more  JVM 2001»
15 years 2 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