4276 search results - page 152 / 856 » Techniques for Empirical Validation |
166
click to vote
ALIFE
2002
15 years 6 months ago
2002
In this paper, we study the relationship between the two techniques known as ant colony optimization (aco) and stochastic gradient descent. More precisely, we show that some empir...
194
click to vote
ESOP
2007
Springer
16 years 20 days ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
166
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...
209
click to vote
VISUALIZATION
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper describes the adaptation and evaluation of existing nestedsurface visualization techniques for the problem of displaying intersecting surfaces. For this work, we collab...
193
click to vote
WISE
2005
Springer
16 years 2 days ago
2005
Springer
Web transaction data between Web visitors and Web functionalities usually convey user task-oriented behavior pattern. Mining such type of clickstream data will lead to capture usag...