Sciweavers

213 search results - page 18 / 43
» Creating Abstractions Using Relevance Reasoning
Sort
View
87
Voted
BMCBI
2010
129views more  BMCBI 2010»
14 years 10 months ago
LAITOR - Literature Assistant for Identification of Terms co-Occurrences and Relationships
Background: Biological knowledge is represented in scientific literature that often describes the function of genes/ proteins (bioentities) in terms of their interactions (biointe...
Adriano Barbosa-Silva, Theodoros G. Soldatos, Ivan...
104
Voted
ADAPTIVE
2007
Springer
15 years 4 months ago
Semantic Web Technologies for the Adaptive Web
Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a...
Peter Dolog, Wolfgang Nejdl
91
Voted
IPPS
2010
IEEE
14 years 8 months ago
Executing task graphs using work-stealing
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
Kunal Agrawal, Charles E. Leiserson, Jim Sukha
90
Voted
ICFEM
2009
Springer
15 years 4 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
110
Voted
ADAPTIVE
2007
Springer
15 years 4 months ago
Adaptive Support for Distributed Collaboration
Abstract. Through interaction with others, a person develops multiple perspectives that become the basis for innovation and the construction of new knowledge. This chapter discusse...
Amy Soller