Sciweavers

432 search results - page 67 / 87
» Open Problems with Part-Whole Relations
Sort
View
SPLC
2007
15 years 1 months ago
Feature Diagrams and Logics: There and Back Again
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...
Krzysztof Czarnecki, Andrzej Wasowski
132
Voted
BMCBI
2008
100views more  BMCBI 2008»
15 years 21 days ago
Extracting unrecognized gene relationships from the biomedical literature via matrix factorizations
Background: The construction of literature-based networks of gene-gene interactions is one of the most important applications of text mining in bioinformatics. Extracting potentia...
Hyunsoo Kim, Haesun Park, Barry L. Drake
JAIR
2007
146views more  JAIR 2007»
15 years 14 days ago
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
COMCOM
2002
105views more  COMCOM 2002»
15 years 12 days ago
An intensive survey of fair non-repudiation protocols
With the phenomenal growth of the Internet and open networks in general, security services, such as non-repudiation, become crucial to many applications. Nonrepudiation services m...
Steve Kremer, Olivier Markowitch, Jianying Zhou
ENTCS
2002
148views more  ENTCS 2002»
15 years 12 days ago
A Declarative Debugging System for Lazy Functional Logic Programs
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
Rafael Caballero, Mario Rodríguez-Artalejo