Sciweavers

8067 search results - page 573 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
TVCG
2010
151views more  TVCG 2010»
15 years 1 months ago
Interactive Visual Analysis of Multiple Simulation Runs Using the Simulation Model View: Understanding and Tuning of an Electron
Multiple simulation runs using the same simulation model with different values of control parameters usually generate large data sets that capture the variational aspects of the be...
Kresimir Matkovic, Denis Gracanin, Mario Jelovic, ...
IJFCS
2006
110views more  IJFCS 2006»
15 years 7 months ago
Sat-based Model Checking for Region Automata
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
Fang Yu, Bow-Yaw Wang
CVPR
2007
IEEE
16 years 1 months ago
Learning Generative Models via Discriminative Approaches
Generative model learning is one of the key problems in machine learning and computer vision. Currently the use of generative models is limited due to the difficulty in effective...
Zhuowen Tu
SIGIR
2005
ACM
16 years 16 days ago
Gravitation-based model for information retrieval
This paper proposes GBM (gravitation-based model), a physical model for information retrieval inspired by Newton’s theory of gravitation. A mapping is built in this model from c...
Shuming Shi, Ji-Rong Wen, Qing Yu, Ruihua Song, We...
SAC
2005
ACM
16 years 16 days ago
An attribute-based access matrix model
In traditional access control models like MAC, DAC, and RBAC, authorization decisions are determined according to identities of subjects and objects, which are authenticated by a ...
Xinwen Zhang, Yingjiu Li, Divya Nalla