3816 search results - page 473 / 764 » Characteristic relational patterns |
188
click to vote
FAC
2010
15 years 4 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
187
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
Using optical triangulation methods to measure the shape of translucent objects is difficult because subsurface scattering contaminates measurements of the “direct” reflecti...
158
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
As more data becomes available for a given speech recognition task, the natural way to improve recognition accuracy is to train larger models. But, while this strategy yields mode...
181
click to vote
AAAI
2011
14 years 6 months ago
2011
We propose Tree Sequence Kernel (TSK), which implicitly exhausts the structure features of a sequence of subtrees embedded in the phrasal parse tree. By incorporating the capabili...
195
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Spatiotemporal data is associated with vast amounts of raw samples. Given the limited computational resources typically available, an initial organization of this data supporting
...