5525 search results - page 434 / 1105 » Verification of Model Transformations |
175
click to vote
COMPUTER
2008
15 years 7 months ago
2008
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...
243
click to vote
DB
2008
15 years 7 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
197
click to vote
PR
2008
15 years 7 months ago
2008
We present a unified feature representation of 2.5D pointclouds and apply it to face recognition. The representation integrates local and global geometrical cues in a single compa...
191
click to vote
SIAMCO
2008
15 years 6 months ago
2008
We consider stochastic impulse control problems where the process is driven by one-dimensional diffusions. Impulse control problems are widely applied to financial engineering and...
164
click to vote
JEI
2002
15 years 6 months ago
2002
This paper presents a morphology-based method for detecting license plates from cluttered images. The proposed system consists of three major components. At the first, a morpholog...