12438 search results - page 72 / 2488 » The Magic of a Number System |
89
Voted
LREC
2008
15 years 5 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...
163
Voted
CODES
2001
IEEE
15 years 7 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...
107
click to vote
IAT
2007
IEEE
15 years 10 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...
111
Voted
VSTTE
2005
Springer
15 years 9 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 ...
131
Voted
CCA
2000
Springer
15 years 8 months 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�...