8398 search results - page 1327 / 1680 » Optimal Software Testing |
174
click to vote
UIST
2004
ACM
16 years 8 days ago
2004
ACM
We describe a new widget and interaction technique, known as a “Frisbee,” for interacting with areas of a large display that are difficult or impossible to access directly. A ...
183
click to vote
FSTTCS
2004
Springer
16 years 7 days ago
2004
Springer
A computational model for learning languages in the limit from full positive data and a bounded number of queries to the teacher (oracle) is introduced and explored. Equivalence, ...
165
click to vote
ICT
2004
Springer
16 years 6 days ago
2004
Springer
- Application level active networks provide a way of transforming the current network infrastructure into one where new services and protocols are more easily adopted and utilized ...
169
click to vote
OOPSLA
2004
Springer
16 years 6 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
162
click to vote
PCM
2004
Springer
16 years 6 days ago
2004
Springer
Compared with previous video coding standards, H.264/AVC employs a division-free quantization scheme. The relation between quantization parameter and quantization step changes from...