Sciweavers

1937 search results - page 251 / 388
» Starting B Specifications from Use Cases
Sort
View
JAPLL
2010
98views more  JAPLL 2010»
15 years 5 months ago
Formalization of the ad hominem argumentation scheme
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
Douglas Walton
ICDT
2009
ACM
143views Database» more  ICDT 2009»
16 years 7 months ago
Automatic construction of simple artifact-based business processes
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
Christian Fritz, Richard Hull, Jianwen Su
ATAL
2007
Springer
16 years 20 days ago
Extending character-based storytelling with awareness and feelings
Most Interactive Storytelling systems developed to date have followed a task-based approach to story representation, using planning techniques to drive the story by generating a s...
David Pizzi, Marc Cavazza, Jean-Luc Lugrin
BMCBI
2006
101views more  BMCBI 2006»
15 years 6 months ago
SuperMimic - Fitting peptide mimetics into protein structures
Background: Various experimental techniques yield peptides that are biologically active but have unfavourable pharmacological properties. The design of structurally similar organi...
Andrean Goede, Elke Michalsky, Ulrike Schmidt, Rob...
BMCBI
2006
94views more  BMCBI 2006»
15 years 6 months ago
Fly-DPI: database of protein interactomes for D. melanogaster in the approach of systems biology
Background: Proteins control and mediate many biological activities of cells by interacting with other protein partners. This work presents a statistical model to predict protein ...
Chung-Yen Lin, Shu-Hwa Chen, Chi-Shiang Cho, Chia-...