13224 search results - page 2300 / 2645 » Self-monitoring for Computer Users |
145
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we introduce a new method of performing direct solution of the harmonic balance Jacobian. For examples with moderate number of harmonics and moderate to strong nonli...
156
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
176
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
166
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
A framework is proposed for the segmentation of brain tumors from MRI. Instead of training on pathology, the proposed method trains exclusively on healthy tissue. The algorithm att...
193
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
Volumetric registration of brains is required for inter-subject studies of functional and anatomical data. Intensity-driven registration typically results in some degree of misalig...