1629 search results - page 237 / 326 » Infeasible Code Detection |
ICSM
2005
IEEE
15 years 5 months ago
2005
IEEE
We have built a software development tool, CLIME, that uses constraints to ensure the consistency of the different artifacts associated with software. This approach to software dev...
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
ICDAR
2003
IEEE
2003
IEEE
Visualizing Multimedia Content on Paper Documents: Components of Key Frame Selection for Video Paper
15 years 5 months ago
The components of a key frame selection algorithm for a paper-based multimedia browsing interface called Video Paper are described. Analysis of video image frames is combined with...
WETICE
2003
IEEE
15 years 5 months ago
2003
IEEE
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
IBPRIA
2003
Springer
15 years 5 months ago
2003
Springer
This paper presents a vision-based localization approach for an underwater robot in a structured environment. The system is based on a coded pattern placed on the bottom of a water...