2607 search results - page 273 / 522 » Complete Functional Synthesis |
138
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
Many learning algorithms rely on the curvature (in particular, strong convexity) of regularized objective functions to provide good theoretical performance guarantees. In practice...
126
Voted
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
128
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
134
click to vote
MIAR
2006
IEEE
15 years 10 months ago
2006
IEEE
Functional neuroimaging technologies have transformed cognitive neuroscience by enhancing our understanding of the functional subclassification of brain regions. Whilst a number of...
122
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...