1760 search results - page 152 / 352 » Program Analysis Using Weighted Pushdown Systems |
124
Voted
CSMR
2005
IEEE
15 years 6 months ago
2005
IEEE
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...
TOPLAS
2008
15 years 19 days ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
136
click to vote
PASTE
2010
ACM
15 years 2 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
128
click to vote
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. Dimensionality reduction is an essential aspect of visual processing. Traditionally, linear dimensionality reduction techniques such as principle components analysis have...
92
Voted
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes prototyping of a form processing system employing dot texture for printing input frames of the form. The dot texture is the texture composed of small dots. It...