Sciweavers

12487 search results - page 356 / 2498
» Graspable Work Modeling
Sort
View
178
Voted
ICPR
2006
IEEE
16 years 6 months ago
Modelling Crowd Scenes for Event Detection
This work presents an automatic technique for detection of abnormal events in crowds. Crowd behaviour is difficult to predict and might not be easily semantically translated. More...
Ernesto L. Andrade, Robert B. Fisher, Scott Blunsd...
MICCAI
2004
Springer
16 years 6 months ago
Simultaneous Topology and Stiffness Identification for Mass-Spring Models Based on FEM Reference Deformations
Mass-spring systems are of special interest for soft tissue modeling in surgical simulation due to their ease of implementation and real-time behavior. However, the parameter ident...
Barbara Solenthaler, Gábor Székely, ...
WWW
2007
ACM
16 years 5 months ago
Computer-Supported Collaborative Knowledge Modeling in Ecology
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
Deana Pennington, Joshua S. Madin, Ferdinando Vill...
WWW
2006
ACM
16 years 5 months ago
Capturing RIA concepts in a web modeling language
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
Alessandro Bozzon, Sara Comai, Piero Fraternali, G...
TACAS
2010
Springer
342views Algorithms» more  TACAS 2010»
16 years 1 days ago
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
Janusz Malinowski, Peter Niebert