10148 search results - page 303 / 2030 » Optimal sub-graphical models |
172
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
156
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
The toxicity of an anticancer drug is cleared from the body by different processes, including saturable metabolic and nonsaturable renal-excretion pathways. According to the princ...
178
click to vote
PAMI
2006
15 years 6 months ago
2006
We propose a model of the joint variation of shape and appearance of portions of an image sequence. The model is conditionally linear, and can be thought of as an extension of acti...
133
click to vote
ORL
2006
15 years 6 months ago
2006
We consider a general adversarial stochastic optimization model. Our model involves the design of a system that an adversary may subsequently attempt to destroy or degrade. We int...
187
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Model-based clustering of motion trajectories can be posed as the problem of learning an underlying mixture density function whose components correspond to motion classes with dif...