11397 search results - page 232 / 2280 » A Relational Abstraction for Functions |
185
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Abstract--An image can be seen as an element of a vector space so that it can be expressed in terms of a series expansion of any non necessarily orthogonal base of this space. This...
212
click to vote
FLOPS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
166
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—The discovery of locally and significantly correlated subpatterns within a two-dimensional dataset has recently become quite popular and is amongst others addressed by ...
187
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In this paper, we study the accuracy of Cooperative Localization and Target Tracking (CLATT) in a team of mobile robots, and derive analytical upper bounds for the posi...
185
click to vote
ECML
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to semantically annotated resources in the context of ontological knowledge bases. This method can be used to discov...