26602 search results - page 309 / 5321 » A New Imaging Model |
195
click to vote
SIGSOFT
1994
ACM
15 years 11 months ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....
199
click to vote
ASC
2004
15 years 7 months ago
2004
The retrieval performance of an information retrieval system usually increases when it uses the relationships among the terms contained in a given document collection. However, th...
239
Voted
ATVA
2011
Springer
14 years 7 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
188
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The problem of arriving at a principled method of pricing goods and services was very satisfactorily solved for conventional goods; however, this solution is not applicable to dig...
167
Voted
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...