Sciweavers

76 search results - page 11 / 16
» Interpreting the neural code with Formal Concept Analysis
Sort
View
114
Voted
CMOT
2000
128views more  CMOT 2000»
14 years 11 months ago
Ontologies to Support Process Integration in Enterprise Engineering
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
Michael Grüninger, Katy Atefi, Mark S. Fox
105
Voted
LPAR
2010
Springer
14 years 9 months ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann
SYNTHESE
2011
177views more  SYNTHESE 2011»
14 years 6 months ago
Quantum logic as a dynamic logic
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
Alexandru Baltag, Sonja Smets
99
Voted
CSDA
2008
128views more  CSDA 2008»
14 years 11 months ago
Assessing agreement of clustering methods with gene expression microarray data
In the rapidly evolving field of genomics, many clustering and classification methods have been developed and employed to explore patterns in gene expression data. Biologists face...
Xueli Liu, Sheng-Chien Lee, George Casella, Gary F...
ICCS
2009
Springer
15 years 6 months ago
Access Policy Design Supported by FCA Methods
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
Frithjof Dau, Martin Knechtel