Sciweavers

1856 search results - page 337 / 372
» Formal Dialectic Specification
Sort
View
COLING
1992
15 years 3 months ago
Generating Coherent Argumentative Paragraphs
Q Should I take AI this semester? We address the problem of generating a coherent A If you want to take courses likeparagraph presenting arguments for a conclusion in a Natural La...
Michael Elhadad
BMCBI
2010
109views more  BMCBI 2010»
15 years 2 months ago
Functional characterization and topological modularity of molecular interaction networks
Background: Analyzing interaction networks for functional characterization poses significant challenges arising from the noisy, incomplete, and generic nature of both the interact...
Jayesh Pandey, Mehmet Koyutürk, Ananth Grama
CORR
2010
Springer
147views Education» more  CORR 2010»
15 years 2 months ago
Distributed Storage Codes Meet Multiple-Access Wiretap Channels
We consider i) the overhead minimization of maximum-distance seperable (MDS) storage codes for the repair of a single failed node and ii) the total secure degrees-of-freedom (S-DoF...
Dimitris S. Papailiopoulos, Alexandros G. Dimakis
DEBU
2008
100views more  DEBU 2008»
15 years 2 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
AEI
2006
108views more  AEI 2006»
15 years 2 months ago
Grammatical rules for specifying information for automated product data modeling
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
Ghang Lee, Charles M. Eastman, Rafael Sacks, Shamk...