9626 search results - page 1759 / 1926 » Invariant Based Programming |
136
click to vote
DISOPT
2011
14 years 6 months ago
2011
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
121
Voted
EUROSYS
2011
ACM
14 years 6 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
234
Voted
RECOMB
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Haplotypes, as they specify the linkage patterns between dispersed genetic variations, provide important information for understanding the genetics of human traits. Howev...
117
Voted
AAAI
2011
14 years 2 months ago
2011
We propose a fast batch learning method for linearchain Conditional Random Fields (CRFs) based on Newton-CG methods. Newton-CG methods are a variant of Newton method for high-dime...
132
Voted
CEC
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—Higher organisms are able to respond to continuously changing external conditions by transducing cellular signals into specific regulatory programs, which control gene ...