Sciweavers

4961 search results - page 345 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
RECOMB
2006
Springer
16 years 4 months ago
Identification and Evaluation of Functional Modules in Gene Co-expression Networks
Abstract. Identifying gene functional modules is an important step towards elucidating gene functions at a global scale. In this paper, we introduce a simple method to construct ge...
Jianhua Ruan, Weixiong Zhang
136
Voted
POPL
2010
ACM
16 years 2 months ago
Nominal System T
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
Andrew M. Pitts
VL
2009
IEEE
150views Visual Languages» more  VL 2009»
15 years 11 months ago
Discovery-based edit assistance for spreadsheets
Spreadsheets can be viewed as a highly flexible endusers programming environment which enjoys wide-spread adoption. But spreadsheets lack many of the structured programming conce...
Jácome Cunha, João Saraiva, Joost Vi...
228
Voted
ADC
2009
Springer
175views Database» more  ADC 2009»
15 years 11 months ago
Conditional Purpose Based Access Control Model for Privacy Protection
This paper presents a model for privacy preserving access control which is based on variety of purposes. Conditional purpose is applied along with allowed purpose and prohibited p...
Md. Enamul Kabir, Hua Wang
ASWC
2009
Springer
15 years 11 months ago
What Makes a Good Ontology? A Case-Study in Fine-Grained Knowledge Reuse
Understanding which ontology characteristics can predict a “good” quality ontology, is a core and ongoing task in the Semantic Web. In this paper, we provide our findings on wh...
Miriam Fernández, Chwhynny Overbeeke, Marta...