2702 search results - page 309 / 541 » Practically Applicable Formal Methods |
126
Voted
TSMC
2010
14 years 9 months ago
2010
In this paper, we present two near-optimal methods to determine the real-time collision-free path for a mobile vehicle moving in a dynamically changing environment. The proposed de...
135
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Causal processing of a signal’s samples is crucial in on-line applications such as audio rate conversion, compression, tracking and more. This paper addresses the problem of cau...
154
Voted
PAMI
2012
13 years 5 months ago
2012
—We present an algorithm that simultaneously calibrates two color cameras, a depth camera, and the relative pose between them. The method is designed to have three key features: ...
162
Voted
KDD
2012
ACM
13 years 5 months ago
2012
ACM
We tackle the challenging problem of mining the simplest Boolean patterns from categorical datasets. Instead of complete enumeration, which is typically infeasible for this class ...
122
click to vote
ISAAC
2009
Springer
15 years 9 months ago
2009
Springer
The k-means algorithm is the method of choice for clustering large-scale data sets and it performs exceedingly well in practice. Most of the theoretical work is restricted to the c...