Sciweavers

1285 search results - page 253 / 257
» Description Logic Reasoner: System Description
Sort
View
BMCBI
2010
122views more  BMCBI 2010»
14 years 11 months ago
An overview of the CellML API and its implementation
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
Andrew K. Miller, Justin Marsh, Adam Reeve, Alan G...
89
Voted
SYNTHESE
2010
101views more  SYNTHESE 2010»
14 years 10 months ago
Actual causation: a stone soup essay
We argue that current discussions of criteria for actual causation are ill-posed in several respects. (1) The methodology of current discussions is by induction from intuitions ab...
Clark Glymour, David Danks, Bruce Glymour, Frederi...
WWW
2003
ACM
16 years 9 days ago
Piazza: data management infrastructure for semantic web applications
The Semantic Web envisions a World Wide Web in which data is described with rich semantics and applications can pose complex queries. To this point, researchers have defined new l...
Alon Y. Halevy, Zachary G. Ives, Peter Mork, Igor ...
IWANN
1997
Springer
15 years 3 months ago
The Pattern Extraction Architecture: A Connectionist Alternative to the Von Neumann Architecture
A detailed connectionist architecture is described which is capable of relating psychological behavior to the functioning of neurons and neurochemicals. The need to be able to bui...
L. Andrew Coward
89
Voted
IWSSD
1993
IEEE
15 years 3 months ago
Fine-Grain Process Modelling
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer