1150 search results - page 69 / 230 » Advanced MPI Programming |
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
109
click to vote
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
EH
2002
IEEE
15 years 2 months ago
2002
IEEE
Most real-world controllers are composed of proportional, integrative, and derivative signal processing blocks. The so-called PID controller was invented and patented by Callender...
ICMCS
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we propose a method to extract and verify individual speaker utterance using a subspace method. This method can extract speech section of the same speaker by repeat...
BDA
2007
14 years 11 months ago
2007
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...