2867 search results - page 551 / 574 » On Interactive Evolution Strategies |
132
click to vote
POPL
2010
ACM
16 years 17 days ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
138
Voted
SDM
2009
SIAM
16 years 11 days ago
2009
SIAM
The increasing availability of network data is creating a great potential for knowledge discovery from graph data. In many applications, feature vectors are given in addition to g...
116
click to vote
IUI
2010
ACM
16 years 2 days ago
2010
ACM
RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their...
127
click to vote
HAPTICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Palpation is important in both veterinary and medical health professions. It is however difficult to learn, teach and assess. More must be understood about the skills involved in ...
165
click to vote
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Optimizing compilers apply numerous interdependent optimizations, leading to the notoriously difficult phase-ordering problem — that of deciding which transformations...