17770 search results - page 3163 / 3554 » A Generalization of Forward-Backward Algorithm |
162
click to vote
DLS
2008
15 years 6 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
138
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
136
click to vote
FOIKS
2008
Springer
15 years 6 months ago
2008
Springer
Visibly Pushdown Languages (VPLs), recognized by Visibly Pushdown Automata (VPAs), are a nicely behaved family of contextfree languages. It has been shown that VPAs are equivalent ...
140
click to vote
IMC
2007
ACM
15 years 6 months ago
2007
ACM
The ability to discover network organization, whether in the form of explicit topology reconstruction or as embeddings that approximate topological distance, is a valuable tool. T...
146
click to vote
INFOSCALE
2007
ACM
15 years 6 months ago
2007
ACM
We present a query-driven algorithm for the distributed indexing of large document collections within structured P2P networks. To cope with bandwidth consumption that has been ide...