3955 search results - page 312 / 791 » Comparing the Power of Robots |
137
click to vote
SOCO
2005
Springer
15 years 11 months ago
2005
Springer
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...
160
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
This work presents techniques for computing the switching activities of all circuit nodes under pseudorandom or biased input sequences and assuming a zero delay mode of operation....
146
click to vote
IADIS
2008
15 years 7 months ago
2008
The aim of this paper is to present an evolutionary system for classification problem called GAPBNF_Rule. GAPBNF_Rule is a powerful evolutionary method that distinguishes between ...
134
click to vote
WEBNET
1998
15 years 7 months ago
1998
: As the new network computer technology forces into every aspect of daily life, many things change in a rather rapid way, compared to what we were used to until recently. One of t...
145
click to vote
IANDC
1998
15 years 5 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...