10092 search results - page 383 / 2019 » Active conditional models |
188
click to vote
JMLR
2006
15 years 6 months ago
2006
Sparsity or parsimony of statistical models is crucial for their proper interpretations, as in sciences and social sciences. Model selection is a commonly used method to find such...
161
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Continuum robots made from telescoping precurved elastic tubes enable base-mounted actuators to specify the curved shapes of robots as thin as standard surgical needles...
171
click to vote
JUCS
2010
15 years 5 months ago
2010
: During software development projects there is always a particular working “product” that is generated but rarely managed: the knowledge and experience that team members acqui...
240
click to vote
PAMI
2012
13 years 9 months ago
2012
—Detecting objects in cluttered scenes and estimating articulated human body parts from 2D images are two challenging problems in computer vision. The difficulty is particularly...
196
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...