6299 search results - page 1124 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
205
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Recent research in multi-robot exploration and mapping has focused on sampling environmental fields, which are typically modeled using the Gaussian process (GP). Existing informa...
196
click to vote
VRIPHYS
2010
15 years 1 months ago
2010
We present a novel approach to fluid simulation, allowing us to take into account the surface energy in a precise manner. This new approach combines a novel, topology-adaptive app...
159
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Social networks can be used to model social interactions between individuals. In many circumstances, not all interactions between individuals are observed. In such cases...
164
click to vote
CAV
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
155
click to vote
ICCS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. An algorithm to detect invisible relevant persons in a homogeneous social network is studied with computer simulation. The network is effective as a model for contempora...