3827 search results - page 675 / 766 » The Epsilon Generation Language |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
CONCURRENCY
2008
13 years 10 months ago
2008
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we discuss the issues in automatic recognition of vowels in Persian language. The present work focuses on new statistical method of recognition of vowels as a basic...
DEBU
2008
13 years 10 months ago
2008
Social media are constructed from the collective contributions of potentially millions of individuals and present an increasingly common and large scale form of database. As these...