6171 search results - page 215 / 1235 » The FrameNet Data and Software |
135
click to vote
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
125
click to vote
ICSM
2000
IEEE
15 years 8 months ago
2000
IEEE
Several reverse engineering methods for recovering objects from legacy systems have been proposed in the literature, but most of them neglect to identify the relationships among t...
160
click to vote
CHI
1993
ACM
15 years 8 months ago
1993
ACM
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
228
click to vote
ISTA
2007
15 years 5 months ago
2007
: The present work is devoted to the research of investment projects’ financing issues. Within this paper a data analytical tool for an optimal financing schema computation on th...
129
click to vote
WABI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Protein design software places amino acid side chains by precomputing rotamer-pair energies and optimizing rotamer placement. If the software optimizes by rapid stochasti...