6171 search results - page 660 / 1235 » The FrameNet Data and Software |
193
click to vote
ISSTA
2004
ACM
16 years 19 days ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
304
click to vote
ISSTA
2004
ACM
16 years 19 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
188
click to vote
IUI
2004
ACM
16 years 19 days ago
2004
ACM
Today the availability of large digital content archives (video, ebook, audio) creates many problems in terms of user interaction and data manipulation (browsing, searching). Many...
193
click to vote
IUI
2004
ACM
16 years 19 days ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
223
click to vote
IUI
2004
ACM
16 years 19 days ago
2004
ACM
People are performing increasingly complicated actions on the web, such as automated purchases involving multiple sites. Things often go wrong, however, and it can be difficult to...