2144 search results - page 145 / 429 » Exact Flow Analysis |
141
click to vote
ISPAN
2002
IEEE
15 years 9 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
136
click to vote
LREC
2010
15 years 6 months ago
2010
Broad-coverage language resources which provide prior linguistic knowledge must improve the accuracy and the performance of NLP applications. We are constructing a broad-coverage ...
144
click to vote
UAI
2001
15 years 5 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
111
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In practical nonlinear filtering, the assessment of achievable filtering performance is important. In this paper, we focus on the problem of how to efficiently approximate the post...
128
click to vote
IDA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a generic framework and methods for simplification of large networks. The methods can be used to improve the understandability of a given network, to complemen...