2586 search results - page 80 / 518 » Automatic Abstraction for Congruences |
105
click to vote
ASAP
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Polynomial approximation is a very general technique for the evaluation of a wide class of numerical functions of one variable. This article details an architecture gener...
SERVICES
2010
14 years 11 months ago
2010
Research Session 2 - Modeling and Abstraction of Services Session Chair: An Approach to Dynamic Provisioning of Social and Computational Services (SERVICES2010-4004) Luiz Olavo Bon...
OPODIS
2003
14 years 11 months ago
2003
Abstract. We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial co...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. Query expansion is a well known method to improve the performance of information retrieval systems. In this work we have tested different approaches to extract the candid...
DM
2010
14 years 10 months ago
2010
An infinite word is S-automatic if, for all n 0, its (n+1)st letter is the output of a deterministic automaton fed with the representation of n in the numeration system S. In this...