16725 search results - page 2636 / 3345 » Engineering Software Correctness |
306
Voted
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Updates over virtual XML views that wrap relational data are not well supported by XML data management systems. This paper studies the problem of whether a correct relational upda...
162
Voted
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper presents an automatic grading prototype system developed as recognition engine for Japanese KANJI Dictation Test which aims to certificate the reading and writing abili...
176
Voted
ICIP
2009
IEEE
16 years 8 months ago
2009
IEEE
In document image recognition, orientation detection of the scanned page is necessary for the following procedures to work correctly as they assume that the text is well oriented....
217
Voted
DAC
2007
ACM
16 years 8 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
197
Voted
DAC
2001
ACM
16 years 8 months ago
2001
ACM
This paper presents a method of using texture mapping with mipmapping to render a VLSI layout. Texture mapping is used to save already rasterized areas of the layout from frame to...