3890 search results - page 340 / 778 » Computation of unirational fields |
186
click to vote
ICFCA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
193
Voted
CASC
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we deal with the problem of the computation of the homology of a finite simplicial complex after an "elementary simplicial perturbation" process such as th...
182
click to vote
DIS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...
174
Voted
EUROPAR
2006
Springer
15 years 11 months ago
2006
Springer
There is a large range of image processing applications that act on an input sequence of image frames that are continuously received. Throughput is a key performance measure to be ...
176
click to vote
DSVIS
1995
Springer
15 years 11 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...