1299 search results - page 224 / 260 » EMC - A modeling method for developing web-based application... |
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
CAD
2008
Springer
13 years 9 months ago
2008
Springer
This paper proposes a new concept of polycube splines and develops novel modeling techniques for using the polycube splines in solid modeling and shape computing. Polycube splines...
ENVSOFT
2006
13 years 8 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
IJCV
2002
13 years 8 months ago
2002
Current vision systems are designed to perform in clear weather. Needless to say, in any outdoor application, there is no escape from "bad" weather. Ultimately, computer ...
SDM
2004
SIAM
13 years 10 months ago
2004
SIAM
Automatic classification of documents is an important area of research with many applications in the fields of document searching, forensics and others. Methods to perform classif...