12438 search results - page 72 / 2488 » The Magic of a Number System |
LREC
2008
13 years 9 months ago
2008
In this paper, we define the task of Number Identification in natural context. We present and validate a language-independent semiautomatic approach to quickly building a gold sta...
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
In our model agent-based e-commerce system [2] we have assumed that a certain number of items of a given product is available for sale. In this note we introduce a model logistics...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
CCA
2000
Springer
14 years 13 days ago
2000
Springer
Abstract. A competition between systems for doing exact real number computations was held in September 2000. We present the results obtained and give a short evaluation of the di�...