1271 search results - page 57 / 255 » On Simulation-Checking with Sequential Systems |
FAST
2004
14 years 11 months ago
2004
The Atropos logical volume manager allows applications to exploit characteristics of its underlying collection of disks. It stripes data in track-sized units and explicitly expose...
IJCAI
2001
14 years 11 months ago
2001
The majority of existing language generation systems have a pipeline architecture which offers efficient sequential execution of modules, but does not allow decisions about text c...
SIAMJO
2008
14 years 9 months ago
2008
We present an algorithm for large-scale equality constrained optimization. The method is based on a characterization of inexact sequential quadratic programming (SQP) steps that ca...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
With an eye towards design of human-in-the-loop systems, we investigate human decision making in a social context for tasks that require the human to make repeated choices among fi...
192
click to vote
CRV
2011
IEEE
13 years 9 months ago
2011
IEEE
Abstract—Contour features play an important role in object recognition. Psychological experiments have shown that maximum-curvature points are most distinctive along a contour [6...