2800 search results - page 304 / 560 » Scaling RDF with time |
175
click to vote
ICML
2009
IEEE
15 years 4 months ago
2009
IEEE
We often seek to identify co-occurring hidden features in a set of observations. The Indian Buffet Process (IBP) provides a nonparametric prior on the features present in each obs...
163
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
204
click to vote
ICUMT
2009
15 years 4 months ago
2009
Abstract--With the rapid development of peer-to-peer networks, simulation is considered as a useful tool to demonstrate initial ideas before building prototypes with real network t...
207
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we present an efficient algorithm for 3D object recognition in presence of clutter and occlusions in noisy, sparse and unsegmented range data. The method uses a robu...
175
click to vote
ACSC
2010
IEEE
15 years 1 months ago
2010
IEEE
The importance of networks of coupled oscillators is widely recognized. Such networks occur in biological systems like the heart, in chemical systems, in computational problems, a...