1222 search results - page 213 / 245 » A Bayesian Approach to Model Checking Biological Systems |
144
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...
173
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Recommender systems are an important component of many websites. Two of the most popular approaches are based on matrix factorization (MF) and Markov chains (MC). MF methods learn...
102
click to vote
CASES
2009
ACM
15 years 8 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
118
click to vote
CEEMAS
2005
Springer
15 years 7 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
151
click to vote
TCSV
2010
14 years 8 months ago
2010
Abstract--Real-time stereo vision is attractive in many applications like robot navigation and 3D scene reconstruction. Data parallel platforms, e.g. GPU, is often used for real-ti...