1690 search results - page 276 / 338 » Algorithmic Properties of Millstream Systems |
93
Voted
JMLR
2008
15 years 22 days ago
2008
Causal reasoning is primarily concerned with what would happen to a system under external interventions. In particular, we are often interested in predicting the probability distr...
95
Voted
PPL
2008
15 years 22 days ago
2008
This paper investigates the influence of the interconnection network topology of a parallel system on the delivery time of an ensemble of messages, called the communication scheme...
97
Voted
CAGD
2005
15 years 20 days ago
2005
This paper addresses the point-wise estimation of differential properties of a smooth manifold S--a curve in the plane or a surface in 3D--assuming a point cloud sampled over S is...
138
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
111
click to vote
ICCV
1995
IEEE
15 years 4 months ago
1995
IEEE
A general-purpose object indexingtechnique is described that combines the virtues of principal component analysis with the favorable matching properties of high-dimensional spaces...