16513 search results - page 342 / 3303 » Numerical Analysis Methods |
182
click to vote
AAECC
2007
Springer
15 years 6 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
200
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
153
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
: Writer recognition is a very important branch of biometrics. In our previous research, a Grid Micro-structure Feature (GMSF) based text-independent and scriptindependent method w...
154
click to vote
JOT
2007
15 years 6 months ago
2007
The Observer-Conditioned-Observable (OCO) combines digitizing and transcoding of numeric change events. During the processing of numeric events, the transcoder converts the number...
235
click to vote
Book
"Designing and Building Parallel Programs is a book for students and professionals who need to know how to write parallel programs. It is neither a programming language manual...