13383 search results - page 324 / 2677 » Abstractions from proofs |
153
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We propose a generalized equation to represent a continuum of surface reconstruction solutions of a given non-integrable gradient field. We show that common approaches su...
159
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
169
click to vote
SEUS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
172
Voted
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Triangular norms or t-norms, in short, and automorphisms are very useful to fuzzy logics in the narrow sense. However, these notions are usually limited to the set [0, ...
112
click to vote
KES
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Clickstream can be a rich source of data for analysing user behaviour, but the volume of these logs makes it difficult to identify and categorise behavioural patterns. In...