3951 search results - page 294 / 791 » Automatic amortized analysis |
152
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. Rippling is a heuristic used to guide rewriting and is typically used for inductive theorem proving. We introduce a method to support case-analysis within rippling. Like ...
151
Voted
DSVIS
2006
Springer
15 years 10 months ago
2006
Springer
We study the variations in two dimensional (2D) pointing tasks on a traditional white board of a group of subjects by means of capturing their movement traces in an automatic way w...
189
click to vote
BMVC
2002
15 years 9 months ago
2002
A qualitative image description grammar with automatic image fitting and object modelling algorithms is presented. The grammar is based on assigning a square sub-region of an imag...
175
click to vote
WSC
2007
15 years 9 months ago
2007
Models of real world systems are being increasingly generated from data that describes the behaviour of systems. Data mining techniques, such as Artificial Neural Networks (ANN),...
179
click to vote
DIMVA
2010
15 years 8 months ago
2010
Black-box web vulnerability scanners are a class of tools that can be used to identify security issues in web applications. These tools are often marketed as "point-and-click ...