1034 search results - page 18 / 207 » Wide Classes |
129
click to vote
ENTCS
2007
15 years 4 months ago
2007
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
124
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
The design of algorithms that can run unchanged yet efficiently on a variety of machines characterized by different degrees of parallelism and communication capabilities is a hig...
161
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
We introduce a class of robust non-parametric estimation methods which are ideally suited for the reconstruction of signals and images from noise-corrupted or sparsely collected s...
137
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper we address the problem of generating input plans to steer complex dynamical systems in an obstaclefree environment. Plans considered admit a finite description l...
139
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...