7167 search results - page 304 / 1434 » A Technique for Invariant Generation |
180
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
Localizing the cause(s) of an observable error lies at the heart of program debugging. Fault localization often proceeds by comparing the failing program run with some “successf...
168
Voted
MIR
2005
ACM
16 years 1 months ago
2005
ACM
The growing libraries of multimedia objects have increased the need for applications that facilitate search, browsing, discovery, recommendation and playlist construction. Many of...
183
Voted
IDEAL
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In many data mining projects the data to be analysed contains personal information, like names and addresses. Cleaning and preprocessing of such data likely involves dedu...
201
click to vote
IUI
2004
ACM
16 years 27 days ago
2004
ACM
In order to give people ubiquitous access to software applications, device controllers, and Internet services, it will be necessary to automatically adapt user interfaces to the c...
185
Voted
CC
2004
Springer
16 years 26 days ago
2004
Springer
The Generalized LR (GLR) parsing algorithm is attractive for use in parsing programming languages because it is asymptotically efficient for typical grammars, and can parse with an...