Sciweavers

9719 search results - page 637 / 1944
» Inference for Multiplicative Models
Sort
View
197
Voted
EVOW
2007
Springer
16 years 1 months ago
Bio-mimetic Evolutionary Reverse Engineering of Genetic Regulatory Networks
The effective reverse engineering of biochemical networks is one of the great challenges of systems biology. The contribution of this paper is two-fold: 1) We introduce a new meth...
Daniel Marbach, Claudio Mattiussi, Dario Floreano
LPAR
2007
Springer
16 years 1 months ago
Preferential Description Logics
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
Laura Giordano, Valentina Gliozzi, Nicola Olivetti...
ADBIS
2006
Springer
103views Database» more  ADBIS 2006»
16 years 1 months ago
Bridging the Gap between Comparison and Conforming the Views in View Integration
View integration is a complex, error-prone and time-consuming task. Therefore there is a need to decompose the integration methods into smaller well defined phases where different ...
Peter Bellström
PLDI
2006
ACM
16 years 1 months ago
LOCKSMITH: context-sensitive correlation analysis for race detection
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
Polyvios Pratikakis, Jeffrey S. Foster, Michael W....
ACNS
2004
Springer
128views Cryptology» more  ACNS 2004»
16 years 13 days ago
A Novel Framework for Alert Correlation and Understanding
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
Dong Yu, Deborah A. Frincke