Sciweavers

11484 search results - page 542 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
ISCAS
2007
IEEE
80views Hardware» more  ISCAS 2007»
16 years 1 months ago
Probabilistic Modelling of Phase-tuned Disparity Energy Neuron Populations
- We present a low dimensional Bayes probabilistic model for the population of binocular disparity energy neurons centered at the same retinal location, but selective to different ...
Eric K. C. Tsang, Bertram Emil Shi
QSIC
2007
IEEE
16 years 1 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
AUSDM
2007
Springer
107views Data Mining» more  AUSDM 2007»
16 years 1 months ago
Preference Networks: Probabilistic Models for Recommendation Systems
Recommender systems are important to help users select relevant and personalised information over massive amounts of data available. We propose an unified framework called Prefer...
Tran The Truyen, Dinh Q. Phung, Svetha Venkatesh
DATE
2006
IEEE
105views Hardware» more  DATE 2006»
16 years 1 months ago
Comfortable modeling of complex reactive systems
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
Steffen Prochnow, Reinhard von Hanxleden
APSEC
2005
IEEE
16 years 24 days ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook