242 search results - page 40 / 49 » On the Non-sequential Nature of Domain Models of Real-number... |
CONCUR
2000
Springer
14 years 23 days ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
ACSC
2004
IEEE
14 years 5 days ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
ICCV
1995
IEEE
13 years 12 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...
CVPR
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper, we consider the problem of tracking nonrigid surfaces and propose a generic data-driven mesh deformation framework. In contrast to methods using strong prior models...
INFOVIS
2003
IEEE
14 years 1 months ago
2003
IEEE
Many networks under study in Information Visualization are “small world” networks. These networks first appeared in the study social networks and were shown to be relevant mod...