Sciweavers

1722 search results - page 202 / 345
» Ontology Formalism Transformation
Sort
View
118
Voted
WWW
2006
ACM
16 years 1 months ago
Exploring social annotations for the semantic web
In order to obtain a machine understandable semantics for web resources, research on the Semantic Web tries to annotate web resources with concepts and relations from explicitly d...
Xian Wu, Lei Zhang, Yong Yu
101
Voted
ADMA
2009
Springer
212views Data Mining» more  ADMA 2009»
15 years 7 months ago
Automating Gene Expression Annotation for Mouse Embryo
It is of high biomedical interest to identify gene interactions and networks that are associated with developmental and physiological functions in the mouse embryo. There are now v...
Liangxiu Han, Jano I. van Hemert, Richard A. Baldo...
96
Voted
ALMOB
2007
111views more  ALMOB 2007»
15 years 1 months ago
Transcriptional regulatory network discovery via multiple method integration: application to e. coli K12
Motivation: Transcriptional regulatory network (TRN) discovery from one method (e.g. microarray analysis, gene ontology, phylogenic similarity) does not seem feasible due to lack ...
Jingjun Sun, Kagan Tuncay, Alaa Abi Haidar, Lisa E...
90
Voted
DOCENG
2009
ACM
15 years 7 months ago
On the analysis of queries with counting constraints
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
Everardo Bárcenas, Pierre Genevès, N...
103
Voted
POPL
2003
ACM
15 years 6 months ago
From control effects to typed continuation passing
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
Hayo Thielecke