1897 search results - page 111 / 380 » Conditional Linear Planning |
195
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
150
click to vote
ICRA
2006
IEEE
16 years 9 days ago
2006
IEEE
Abstract— An operational space dynamic model of a redundantly actuated wheeled mobile robot taking into account the wheel-ground interaction is derived based on vehicle dynamics....
152
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: In DNA microarray experiments, discovering groups of genes that share similar transcriptional characteristics is instrumental in functional annotation, tissue classifi...
190
click to vote
AMC
2010
15 years 6 months ago
2010
: Parallel iterative methods are powerful tool for solving large system of linear equations (LEs). The existing parallel computing research results are focussed mainly on sparse sy...
158
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...