5962 search results - page 486 / 1193 » Working with Patterns and Code |
182
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
260
click to vote
PROCEDIA
2011
14 years 9 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
167
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
In this work we present a new crowd analysis algorithm powered by behavior priors that are learned on a large database of crowd videos gathered from the Internet. The algorithm wo...
241
click to vote
TIT
2010
15 years 1 months ago
2010
We directly lower bound the information capacity for channels with i.i.d. deletions and duplications. Our approach differs from previous work in that we focus on the information ca...
148
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Geometric methods are very intuitive and provide a theoretically solid viewpoint to many optimization problems. SVM is a typical optimization task that has attracted a lot of atte...