1177 search results - page 144 / 236 » Iterative methods for Robbins problems |
92
Voted
ISSRE
2007
IEEE
15 years 2 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
102
click to vote
IJCAI
2007
15 years 1 months ago
2007
Agents often have to construct plans that obey deadlines or, more generally, resource limits for real-valued resources whose consumption can only be characterized by probability d...
136
Voted
ICPR
2010
IEEE
14 years 10 months ago
2010
IEEE
For the 3D modeling of walking humans the determination of body pose and extraction of body parts, from the sensed 3D range data, are challenging image processing problems. Real b...
97
Voted
FIW
2009
14 years 10 months ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
93
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper describes a new approximate maximum-likelihood (ML) MIMO detection approach by studying a Lagrangian dual relaxation (LDR) of ML. Unlike many existing relaxed ML method...