12148 search results - page 418 / 2430 » Generalized Bundle Methods |
166
click to vote
CHI
2005
ACM
16 years 8 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
282
click to vote
POPL
2002
ACM
16 years 8 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
195
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
231
click to vote
ETRA
2010
ACM
16 years 2 months ago
2010
ACM
Homography-based glint-normalization is presented as a novel gaze estimation method for uncalibrated setups. The method is geometrically and empirically demonstrated to be robust ...
204
click to vote
BSN
2009
IEEE
16 years 2 months ago
2009
IEEE
—Human movement models often divide movements into parts. In walking the stride can be segmented into four different parts, and in golf and other sports, the swing is divided int...