4460 search results - page 449 / 892 » Formal methods for interactive systems |
181
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present an evolutionary approach for inferring the structure and dynamics in gene circuits from observed expression kinetics. For representing the regulatory inte...
193
click to vote
AIIDE
2006
15 years 8 months ago
2006
Neuroevolution is a promising learning method in tasks with extremely large state and action spaces and hidden states. Recent advances allow neuroevolution to take place in real t...
181
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
We present EverybodyLovesSketch, a gesture-based 3D curve sketching system for rapid ideation and visualization of 3D forms, aimed at a broad audience. We first analyze traditiona...
190
click to vote
MM
2006
ACM
16 years 24 days ago
2006
ACM
Recently, interactive image cutout technique becomes prevalent for image segmentation problem due to its easy-to-use nature. However, most existing stroke-based interactive object...
205
click to vote
SAICSIT
2010
ACM
15 years 4 months ago
2010
ACM
Eliciting and analyzing requirements within knowledge systems, which fundamentally differ so far from technology supported systems represent particular challenges. African rural c...