3765 search results - page 638 / 753 » Formal Methods for Systems Engineering Behavior Models |
114
Voted
TNN
1998
15 years 2 months ago
1998
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
123
Voted
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
129
Voted
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
When a lack of data inhibits decision making, large scale what-if queries can be conducted over the uncertain parameter ranges. Such what-if queries can generate an overwhelming a...
125
Voted
ICSM
2009
IEEE
15 years 10 days ago
2009
IEEE
Planning the next release in software release planning addresses the problem of assigning features to the next release such that technical, resource, risk, and budget constraints ...
139
Voted
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...