Sciweavers

2825 search results - page 54 / 565
» Support for Object-Oriented Testing
Sort
View
ECOOP
1997
Springer
14 years 2 months ago
Near Optimal Hierarchical Encoding of Types
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
Andreas Krall, Jan Vitek, R. Nigel Horspool
VLDB
2005
ACM
184views Database» more  VLDB 2005»
14 years 10 months ago
Rule-based workflow management for bioinformatics
We describe a data-centric software architecture for bioinformatics workflows and a rule-based workflow enactment system that uses declarative specifications of data dependences be...
John S. Conery, Julian Catchen, Michael Lynch
EDBT
2002
ACM
138views Database» more  EDBT 2002»
14 years 10 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks
FBIT
2007
IEEE
14 years 4 months ago
Rough Set Based Information Retrieval from Argumentative Data Points in Weblogs
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
Sea Woo Kim, Chin-Wan Chung
RULEML
2007
Springer
14 years 4 months ago
The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering
Abstract. Rule Responder is an intelligent multi-agent system for collaborative teams and virtual communities that uses RuleML as its rule interchange format. The system allows the...
Benjamin Larry Craig