2586 search results - page 199 / 518 » Automatic Abstraction for Congruences |
146
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Prepay usage as a percentage of overall mobile phone access has increased sharply over the past several years. However, the recharging process is still largely manual wit...
163
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
171
click to vote
SCALESPACE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we embed the minimization scheme of an automatic 3D non-rigid registration method in a multi-scale framework. The initial model formulation was expressed a...
185
click to vote
COSIT
1999
Springer
15 years 11 months ago
1999
Springer
Traditionally, depictions and descriptions have been seen as complementary; depictions have been preferred to convey iconic or metaphorically iconic information whereas description...
152
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...