4719 search results - page 752 / 944 » Newtonian program analysis |
307
click to vote
ICIAR
2009
Springer
15 years 11 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...
205
click to vote
MFCS
2009
Springer
15 years 11 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...
129
click to vote
HT
2000
ACM
15 years 11 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...
197
click to vote
ICECCS
1996
IEEE
15 years 10 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...
158
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...