5855 search results - page 920 / 1171 » Test generation and minimization with |
199
Voted
POPL
2009
ACM
16 years 2 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
69
Voted
DCC
2009
IEEE
16 years 2 months ago
2009
IEEE
The H.264 encoder has input parameters that determine the bit rate and distortion of the compressed video and the encoding complexity. A set of encoder parameters is referred to a...
103
Voted
CHI
2009
ACM
16 years 2 months ago
2009
ACM
Context-aware intelligent systems employ implicit inputs, and make decisions based on complex rules and machine learning models that are rarely clear to users. Such lack of system...
97
Voted
CICLING
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
112
click to vote
KDD
2005
ACM
16 years 2 months ago
2005
ACM
Weblogs and message boards provide online forums for discussion that record the voice of the public. Woven into this mass of discussion is a wide range of opinion and commentary a...