Sciweavers

6141 search results - page 282 / 1229
» Models and representation of their ownership
Sort
View
ENTCS
2007
109views more  ENTCS 2007»
15 years 6 months ago
Symbolic Model Checking for Channel-based Component Connectors
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
Sascha Klüppelholz, Christel Baier
ISMS
2004
Springer
16 years 2 hour ago
GiPSi: An Open Source/Open Architecture Software Development Framework for Surgical Simulation
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
Tolga Goktekin, Murat Cenk Cavusoglu, Frank Tendic...
CSE
2009
IEEE
16 years 1 months ago
A Semantic Imitation Model of Social Tag Choices
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
Wai-Tat Fu, Thomas George Kannampallil, Ruogu Kang
SMA
2006
ACM
121views Solid Modeling» more  SMA 2006»
16 years 17 days ago
Duplicate-skins for compatible mesh modelling
As compatible meshes play important roles in many computeraided design applications, we present a new approach for modelling compatible meshes. Our compatible mesh modelling metho...
Yu Wang, Charlie C. L. Wang, Matthew Ming-Fai Yuen
CVPR
2005
IEEE
16 years 7 days ago
A Discriminative Framework for Modelling Object Classes
Here we explore a discriminative learning method on underlying generative models for the purpose of discriminating between object categories. Visual recognition algorithms learn m...
Alex Holub, Pietro Perona