1855 search results - page 319 / 371 » Composing model programs for analysis |
149
Voted
JMLR
2012
13 years 5 months ago
2012
Grid search and manual search are the most widely used strategies for hyper-parameter optimization. This paper shows empirically and theoretically that randomly chosen trials are ...
141
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
130
Voted
DOCENG
2003
ACM
15 years 7 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
123
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
104
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...