7197 search results - page 216 / 1440 » On the computational power of BlenX |
191
click to vote
ICTAI
2007
IEEE
16 years 27 days ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
175
click to vote
SCOPES
2007
Springer
16 years 21 days ago
2007
Springer
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
193
click to vote
FCCM
2005
IEEE
16 years 6 days ago
2005
IEEE
Increasing demands upon embedded systems for higher level services like networking, user interfaces and file system management, are driving growth in fully-featured operating syst...
207
click to vote
CICLING
2003
Springer
15 years 11 months ago
2003
Springer
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
172
click to vote
SIAMSC
2011
15 years 1 months ago
2011
Abstract. Radial basis function (RBF) approximation is an extremely powerful tool for representing smooth functions in non-trivial geometries, since the method is meshfree and can ...