7082 search results - page 1032 / 1417 » A framework for mobile evaluation |
194
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...
154
click to vote
BIRD
2008
Springer
15 years 8 months ago
2008
Springer
The Edinburgh Mouse Atlas aims to capture in-situ gene expression patterns in a common spatial framework. In this study, we construct a grammar to define spatial regions by combina...
175
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Timetabling problems are constraint optimization problems proven to be NP complete. Furthermore, evaluation of violations is costly, and there is no common data format for represen...
180
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
The dynamics of neural and other automata networks are defined to a large extent by their topologies. Artificial evolution constitutes a practical means by which an optimal topolog...
175
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
We present a variational approach to motion estimation of instationary fluid flows. Our approach extends prior work along two directions: (i) The full incompressible Navier-Stokes ...