3281 search results - page 120 / 657 » Bases for parametrized iterativity |
134
Voted
ENTCS
2002
15 years 1 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
TCSV
2002
15 years 1 months ago
2002
The performance of turbo-equalized Global System of Mobile Communications/General Packet Radio Service (GSM/GPRS)-like videophone transceivers is studied over dispersive fading cha...
JAIR
2010
15 years 5 days ago
2010
The paper investigates parameterized approximate message-passing schemes that are based on bounded inference and are inspired by Pearl’s belief propagation algorithm (BP). We st...
126
click to vote
NA
2010
15 years 4 days ago
2010
Quasi-Newton methods for solving singular systems of nonlinear equations are considered in this paper. Singular roots cause a number of problems in implementation of iterative met...