1119 search results - page 203 / 224 » On the Invariance of Ant System |
168
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
259
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
We propose a new method to quickly and accurately predict 3D positions of body joints from a single depth image, using no temporal information. We take an object recognition appro...
193
Voted
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
142
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
202
Voted
QEST
2009
IEEE
16 years 24 days ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...