1535 search results - page 247 / 307 » Lazy Shape Analysis |
SIAMAM
2008
13 years 8 months ago
2008
Neural fields are an interesting option for modelling macroscopic parts of the cortex involving several populations of neurons, like cortical areas. Two classes of neural field equ...
ICDAR
2011
IEEE
12 years 7 months ago
2011
IEEE
—We propose a novel scenario called “writer retrieval” consisting in the retrieval from a set of documents all those produced by the same writer. The retrieval is based on a ...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
ICDAR
2009
IEEE
2009
IEEE
A Framework for Adaptation of the Active-DTW Classifier for Online Handwritten Character Recognition
14 years 2 months ago
: © A Framework for Adaptation of the Active-DTW Classifier for Online Handwritten Character Recognition Vandana Roy, Sriganesh Madhvanath, Anand S., Raghunath R. Sharma HP Labora...