3690 search results - page 388 / 738 » Computation with classical sequents |
151
click to vote
ISSAC
2004
Springer
16 years 6 days ago
2004
Springer
Many polynomial factorization algorithms rely on Hensel lifting and factor recombination. For bivariate polynomials we show that lifting the factors up to a precision linear in th...
188
click to vote
CC
2003
Springer
16 years 2 days ago
2003
Springer
We define the Value State Dependence Graph (VSDG). The VSDG is a form of the Value Dependence Graph (VDG) extended by the addition of state dependence edges to model sequentialise...
179
click to vote
ECCV
2010
Springer
16 years 1 days ago
2010
Springer
We present an interactive, hybrid human-computer method for object classification. The method applies to classes of objects that are recognizable by people with appropriate expert...
182
click to vote
CSB
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a pressing need to align growing set of expressed sequence tags (ESTs) to newly sequenced human genome. The problem is, however, complicated by the exon/intron structure ...
165
click to vote
DCOSS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...