Sciweavers

4287 search results - page 450 / 858
» Minimal Mental Models
Sort
View
TSP
2008
132views more  TSP 2008»
15 years 6 months ago
Robust Intervention in Probabilistic Boolean Networks
Probabilistic Boolean networks (PBNs) have been recently introduced as a paradigm for modeling genetic regulatory networks. One of the objectives of PBN modeling is to use the netw...
Ranadip Pal, Aniruddha Datta, Edward R. Dougherty
JAIR
2000
105views more  JAIR 2000»
15 years 6 months ago
Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...
Federico Barber
DAC
2010
ACM
15 years 5 months ago
SCEMIT: a systemc error and mutation injection tool
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
Peter Lisherness, Kwang-Ting (Tim) Cheng
SIAMSC
2010
194views more  SIAMSC 2010»
15 years 5 months ago
A Multilevel Algorithm for Simultaneously Denoising and Deblurring Images
In this paper, we develop a fast multilevel algorithm for simultaneously denoising and deblurring images under the total variation regularization. Although much effort has been de...
Raymond H. Chan, Ke Chen 0002
ICIP
2010
IEEE
15 years 4 months ago
Image partitioning with kernel mapping and graph cuts
A novel multiregion graph cut image partitioning method combined with kernel mapping is presented. A kernel function transforms implicitly the image data into data of a higher dim...
Mohamed Ben Salah, Amar Mitiche, Ismail Ben Ayed