5325 search results - page 863 / 1065 » Effective Computation for Nonlinear Systems |
147
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
119
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
We present the results from three motor-imagery-based Brain-Computer Interface experiments. Brain signals were recorded from 8 untrained subjects using EEG, 4 using ECoG and 10 us...
148
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
The pharmaceutical industry is facing an ever-increasing demand to discover novel drugs that are more effective and safer than existing ones. The industry faces huge problem in im...
154
click to vote
HIPC
2000
Springer
15 years 8 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core and any custom hardware on a single wafer are becoming increasingly common in areas suc...
148
click to vote
KR
2000
Springer
15 years 8 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...