5326 search results - page 316 / 1066 » On what we can ensure |
266
click to vote
COLT
1992
Springer
15 years 10 months ago
1992
Springer
This paper deals with finite size networks which consist of interconnections of synchronously evolving processors. Each processor updates its state by applying a "sigmoidal&q...
158
click to vote
EXTREME
2004
ACM
15 years 10 months ago
2004
ACM
The meaning conveyed by documents and their markup often goes well beyond what can be inferred from the markup alone. It often depends on context, so that to interpret document ma...
169
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
Although eXtreme Programming has been explained by Kent Beck[1], there are many benefits to adopting eXtreme Programming (XP) practices in other development processes. The benefit...
178
click to vote
FLAIRS
2008
15 years 9 months ago
2008
We describe an effort to train a RoboCup soccer-playing agent playing in the Simulation League using casebased reasoning. The agent learns (builds a case base) by observing the be...
207
Voted
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...