5326 search results - page 265 / 1066 » On what we can ensure |
186
Voted
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
In this article we approach neural networks as computational templates that travel across various sciences. Traditionally, it has been thought that models are primarily models of s...
200
click to vote
WCRE
2006
IEEE
16 years 1 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
162
click to vote
UML
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...
144
Voted
WEA
2005
Springer
16 years 29 days ago
2005
Springer
We point out that for two sets of measurements, the sign of the difference of their averages is not necessarily maintained by a non-linear monotone transformation of the individu...
221
Voted
CSL
2001
Springer
15 years 12 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...