43264 search results - page 8235 / 8653 » Comparing models of computation |
132
Voted
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
The present paper describes a case-based reasoning solution for solving the task of selecting adequate templates for realizing messages describing actions in a given domain. This s...
135
Voted
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
126
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
132
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
152
Voted
AVBPA
2003
Springer
15 years 7 months ago
2003
Springer
There are two main approaches to the problem of gender classification, Support Vector Machines (SVMs) and Adaboost learning methods, of which SVMs are better in correct rate but ar...