653 search results - page 50 / 131 » Implications of a Data Structure Consistency Checking System |
101
click to vote
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
TSD
2005
Springer
15 years 5 months ago
2005
Springer
Cluster analysis of dialogs with transport directory service allows revealing the typical scenarios of dialogs, which is useful for designing automatic dialog systems. We show how ...
IDEAL
2005
Springer
15 years 5 months ago
2005
Springer
Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the ...
107
click to vote
ACL
1992
15 years 29 days ago
1992
For a very long time, it has been considered that the only way of automatically extracting similar groups of words from a text collection for which no semantic information exists ...
100
click to vote
ICSE
2008
IEEE-ACM
16 years 18 days ago
2008
IEEE-ACM
Often software systems are developed by organizations consisting of many teams of individuals working together. Brooks states in the Mythical Man Month book that product quality i...