4719 search results - page 752 / 944 » Newtonian program analysis |
270
Voted
ICIAR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
173
click to vote
MFCS
2009
Springer
15 years 9 months ago
2009
Springer
We present a simple algorithm for the maximum spanning star forest problem. We take advantage of the fact that the problem is a special case of complementary set cover and we adapt...
113
Voted
HT
2000
ACM
15 years 9 months ago
2000
ACM
In August of 1998 I completed the first hypertextual dissertation at Rensselaer Polytechnic Institute. The dissertation was a case study applying methods of rhetorical analysis an...
167
click to vote
ICECCS
1996
IEEE
15 years 9 months ago
1996
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
138
Voted
VLDB
1993
ACM
15 years 9 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...