844 search results - page 151 / 169 » Semantic Analysis of Matrix Structures |
124
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
159
Voted
PPDP
2010
Springer
15 years 29 days ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
114
Voted
VIS
2009
IEEE
16 years 3 months ago
2009
IEEE
Abstract-- Neurobiology investigates how anatomical and physiological relationships in the nervous system mediate behavior. Molecular genetic techniques, applied to species such as...
130
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
1 A kernel determines the inductive bias of a learning algorithm on a specific data set, and it is beneficial to design specific kernel for a given data set. In this work, we propo...
123
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...