1882 search results - page 241 / 377 » Transformational Programming and Forests |
147
click to vote
ICLA
2009
Springer
16 years 20 days ago
2009
Springer
One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Centu...
186
click to vote
ICIC
2007
Springer
16 years 8 days ago
2007
Springer
We suggest to apply the hybrid neural network based on multi layer perceptron (MLP) and adaptive resonance theory (ART-2) for solving of navigation task of mobile robots. This appr...
160
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
155
Voted
IH
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a new dynamic technique for embedding robust software watermarks into a software program using thread contention. We show the technique to be resilient to many semanti...
123
click to vote
INFOVIS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper proposes a conceptual model called compound brushing for modeling the brushing techniques used in dynamic data visualization. In this approach brushing techniques are m...