Sciweavers

406 search results - page 17 / 82
» PASSing the provenance challenge
Sort
View
JBI
2006
14 years 9 months ago
Methods in biomedical ontology
Research on ontologies is becoming widespread in the biomedical informatics community. At the same time, it has become apparent that the challenges of properly constructing and ma...
Alexander C. Yu
161
Voted
SIGMOD
2005
ACM
177views Database» more  SIGMOD 2005»
15 years 9 months ago
An approach for pipelining nested collections in scientific workflows
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
Timothy M. McPhillips, Shawn Bowers
ACSC
2006
IEEE
15 years 3 months ago
Programming with heterogeneous structures: manipulating XML data using bondi
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
F. Y. Huang, C. B. Jay, David B. Skillicorn
TGC
2005
Springer
15 years 3 months ago
A General Name Binding Mechanism
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
Michele Boreale, Maria Grazia Buscemi, Ugo Montana...
PATAT
2004
Springer
138views Education» more  PATAT 2004»
15 years 3 months ago
Semantic Components for Timetabling
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...
Nele Custers, Patrick De Causmaecker, Peter Demees...