1291 search results - page 165 / 259 » Arithmetic program paths |
133
click to vote
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
111
click to vote
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is of...
89
Voted
WSC
2004
15 years 2 months ago
2004
Decision trees are one of the most easy to use tools in decision analysis. Problems where decision tree branches are based on random variables have not received much attention. Th...
100
click to vote
ALGORITHMICA
2010
15 years 24 days ago
2010
We divide a string into k segments, each with only one sort of symbols, so as to minimize the total number of exceptions. Motivations come from machine learning and data mining. F...
42
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
This chapter derives the properties of light from the properties of processing, including its ability to be both a wave and a particle, to detect objects it doesn't touch, to...