Sciweavers

2761 search results - page 223 / 553
» Collaborative model merging
Sort
View
3DIM
2003
IEEE
15 years 9 months ago
Adaptive Enhancement of 3D Scenes using Hierarchical Registration of Texture-Mapped 3D models
Adaptive fusion of new information in a 3D urban scene is an important goal to achieve in computer vision, graphics, and visualization. In this work we acquire new image pairs of ...
Srikumar Ramalingam, Suresh K. Lodha
FMICS
2008
Springer
15 years 5 months ago
Efficient Symbolic Model Checking for Process Algebras
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
José Vander Meulen, Charles Pecheur
WEBI
2004
Springer
15 years 9 months ago
Mining Local Data Sources For Learning Global Cluster Models
— Distributed data mining has recently caught a lot of attention as there are many cases where pooling distributed data for mining is probibited, due to either huge data volume o...
Chak-Man Lam, Xiaofeng Zhang, William Kwok-Wai Che...
EMMCVPR
2001
Springer
15 years 8 months ago
Designing the Minimal Structure of Hidden Markov Model by Bisimulation
Hidden Markov Models (HMMs) are an useful and widely utilized approach to the modeling of data sequences. One of the problems related to this technique is finding the optimal stru...
Manuele Bicego, Agostino Dovier, Vittorio Murino
119
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
State, Event, Time and Diagram in System Modeling
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
Jin Song Dong