404 search results - page 27 / 81 » Analysis methods to support design for damping |
100
click to vote
RE
2001
Springer
15 years 4 months ago
2001
Springer
Many software projects have failed because their requirements were poorly negotiated among stakeholders. Requirements negotiation is more critical than other factors such as tools...
IPM
2008
14 years 12 months ago
2008
Categorized overviews of web search results are a promising way to support user exploration, understanding, and discovery. These search interfaces combine a metadata-based overvie...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
124
click to vote
SIGMOD
1993
ACM
15 years 3 months ago
1993
ACM
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...
KDD
2007
ACM
16 years 7 days ago
2007
ACM
Given its importance, the problem of predicting rare classes in large-scale multi-labeled data sets has attracted great attentions in the literature. However, the rare-class probl...