Sciweavers

1146 search results - page 55 / 230
» Formal Specification Generation from Requirement Documents
Sort
View
NAACL
2004
14 years 11 months ago
Catching the Drift: Probabilistic Content Models, with Applications to Generation and Summarization
We consider the problem of modeling the content structure of texts within a specific domain, in terms of the topics the texts address and the order in which these topics appear. W...
Regina Barzilay, Lillian Lee
AAAI
2000
14 years 11 months ago
The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
K. Suzanne Barber, Thomas J. Graser, Paul Grisham,...
JOCN
2010
90views more  JOCN 2010»
14 years 8 months ago
Distinct Neural Correlates for Volitional Generation and Inhibition of Saccades
■ The antisaccade task has proven highly useful in basic and clinical neuroscience, and the neural structures involved are well documented. However, the specific neurocognitive ...
Benedikt Reuter, Christian Kaufmann, Julia Bender,...
74
Voted
ICEIS
2005
IEEE
15 years 3 months ago
Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory
: Business Process Re-engineering (BPR) is an area that requires a lot of technical documents and an important feature of a well-written document is a coherent narrative. Even thou...
Nishadi De Silva, Peter Henderson
GECCO
2005
Springer
149views Optimization» more  GECCO 2005»
15 years 3 months ago
There's more to a model than code: understanding and formalizing in silico modeling experience
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
Janet Wiles, Nicholas Geard, James Watson, Kai Wil...