9997 search results - page 1653 / 2000 » The case for crowd computing |
165
click to vote
TCS
2008
15 years 6 months ago
2008
We introduce a new unification procedure for the type inference problem in the intersection type discipline. It is well known that type inference in this case should succeed exact...
165
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
This paper examines the problem of estimating linear time-invariant state-space system models. In particular it addresses the parametrization and numerical robustness concerns tha...
165
click to vote
TEC
2008
15 years 6 months ago
2008
In this paper, we propose a technique based on genetic programming (GP) for meshfree solution of elliptic partial differential equations. We employ the least-squares collocation pr...
242
click to vote
TIP
2008
15 years 6 months ago
2008
This paper discusses the use of Binary Partition Trees (BPTs) for object detection. BPTs are hierarchical region-based representations of images. They define a reduced set of regio...
147
click to vote
IVC
2007
15 years 6 months ago
2007
This paper presents a solution to the cloud removal problem, based in a recently developed image fusion methodology consisting in applying a 1-D pseudo-Wigner distribution (PWD) t...