2702 search results - page 367 / 541 » Practically Applicable Formal Methods |
132
Voted
SAC
2002
ACM
15 years 2 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
128
Voted
KDD
2009
ACM
16 years 2 months ago
2009
ACM
Logistic Regression is a well-known classification method that has been used widely in many applications of data mining, machine learning, computer vision, and bioinformatics. Spa...
152
Voted
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
133
click to vote
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
Most previous motion deblurring methods restore the degraded image assuming a shift-invariant linear blur filter. These methods are not applicable if the blur is caused by spatial...
121
Voted
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a new dense multi-view registration technique for wide-baseline video/images that integrates a parametric optical flowbased approach with a sparse set of feature corres...