4273 search results - page 511 / 855 » User studies and the design of Natural Language Systems |
197
click to vote
FM
2003
Springer
16 years 5 hour ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
193
click to vote
IJON
2007
15 years 6 months ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
168
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
161
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
178
click to vote
ICAIL
2005
ACM
16 years 10 days ago
2005
ACM
We describe a set of experiments using machine learning techniques for the task of extractive summarisation. The research is part of a summarisation project for which we use a cor...