Sciweavers

1968 search results - page 247 / 394
» The Complexity of Valued Constraint Models
Sort
View
122
Voted
ATAL
2010
Springer
15 years 1 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga
CVPR
2007
IEEE
16 years 3 months ago
Capturing long-range correlations with patch models
The use of image patches to capture local correlations between pixels has been growing in popularity for use in various low-level vision tasks. There is a trade-off between using ...
Vincent Cheung, Nebojsa Jojic, Dimitris Samaras
BIOCOMP
2008
15 years 3 months ago
Reverse Engineering Module Networks by PSO-RNN Hybrid Modeling
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
Yuji Zhang, Jianhua Xuan, Benildo de los Reyes, Ro...
131
Voted
BMCBI
2007
169views more  BMCBI 2007»
15 years 1 months ago
Transcriptional regulatory network refinement and quantification through kinetic modeling, gene expression microarray data and i
Background: Gene expression microarray and other multiplex data hold promise for addressing the challenges of cellular complexity, refined diagnoses and the discovery of well-targ...
Abdallah Sayyed-Ahmad, Kagan Tuncay, Peter J. Orto...
111
Voted
ISCAS
2002
IEEE
153views Hardware» more  ISCAS 2002»
15 years 6 months ago
Biological learning modeled in an adaptive floating-gate system
We have implemented an aspect of learning and memory in the nervous system using analog electronics. Using a simple synaptic circuit we realize networks with Hebbian type adaptati...
Christal Gordon, Paul E. Hasler