Sciweavers

2957 search results - page 491 / 592
» Processing Self Corrections
Sort
View
DSP
2007
15 years 6 months ago
Feasibility of impact-acoustic emissions for detection of damaged wheat kernels
A non-destructive, real time device was developed to detect insect damage, sprout damage, and scab damage in kernels of wheat. Kernels are impacted onto a steel plate and the resu...
Tom C. Pearson, A. Enis Çetin, Ahmed H. Tew...
JMM2
2006
139views more  JMM2 2006»
15 years 6 months ago
Robust Real-time 3D Detection of Obstructed Head and Hands in Indoors Environments
We address the need for robust detection of obstructed human features in complex environments, with a focus on intelligent surgical UIs. In our setup, real-time detection is used t...
Sébastien Grange, Charles Baur
ENTCS
2007
98views more  ENTCS 2007»
15 years 6 months ago
Frameworks Based on Templates for Rigorous Model-driven Development
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
Nuno Amálio, Fiona Polack, Susan Stepney
LISP
2006
160views more  LISP 2006»
15 years 6 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
NECO
2008
111views more  NECO 2008»
15 years 6 months ago
A Neural Network Model of the Eriksen Task: Reduction, Analysis, and Data Fitting
We analyze a neural network model of the Eriksen task, a twoalternative forced choice task in which subjects must correctly identify a central stimulus and disregard flankers that...
Yuan Sophie Liu, Philip Holmes, Jonathan D. Cohen