1226 search results - page 167 / 246 » Generating Abstractions from Static Domain Analysis |
ICMCS
1999
IEEE
14 years 11 days ago
1999
IEEE
Abstract--In this paper, a procedure is described for the segmentation, content-based coding, and visualization of videoconference image sequences. First, image sequence analysis i...
CADE
2007
Springer
14 years 2 days ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
DEXA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. It the becomes possible that users can get kinds of information by just inputting search keyword(s) representing the topic which users are interested in. But it is not al...
SQJ
2008
13 years 8 months ago
2008
Abstract. One key to several quality factors of software is the way components are connected. Software coupling can be used to estimate a number of quality factors, including maint...
ITA
2007
13 years 8 months ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...