Sciweavers

2621 search results - page 332 / 525
» Generalized Algorithms for Constructing Statistical Language...
Sort
View
SIGCSE
2006
ACM
147views Education» more  SIGCSE 2006»
14 years 3 months ago
Image understanding as a second course in AI: preparing students for research
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
Roxanne L. Canosa
BIB
2010
89views more  BIB 2010»
13 years 8 months ago
Knowledge-based data analysis comes of age
The emergence of high-throughput technologies for measuring biological systems has introduced problems for data interpretation that must be addressed for proper inference. First, ...
Michael F. Ochs
ICASSP
2011
IEEE
13 years 1 months ago
Multi-sensor estimation and detection of phase-locked sinusoids
This paper proposes a method to compute the likelihood function for the amplitudes and phase shifts of noisily observed phase-locked and amplitude-constrained sinusoids. The sinus...
Christoph Reller, Hans-Andrea Loeliger, Stefano Ma...
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
14 years 3 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
CASES
2005
ACM
13 years 11 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe