446 search results - page 35 / 90 » Abstract Interpretation Using Typed Decision Graphs |
105
click to vote
APVIS
2007
15 years 3 months ago
2007
In this study, we examine the use of graph ordering algorithms for visual analysis of data sets using visual similarity matrices. Visual similarity matrices display the relationsh...
195
Voted
DSS
2011
14 years 5 months ago
2011
Abstract: Much has been written about word of mouth and customer behavior. Telephone call detail records provide a novel way to understand the strength of the relationship between ...
94
Voted
ICPR
2000
IEEE
16 years 3 months ago
2000
IEEE
Choosing the appropriate type of video input is an important issue for any vision-based system and the right decision must take into account the specific requirements of the inten...
88
Voted
ICMCS
2000
IEEE
15 years 6 months ago
2000
IEEE
Choosing the appropriate type of video input is an important issue for any vision-based system and the right decision must take into account the specific requirements of the inten...
156
click to vote
CAV
2009
Springer
15 years 6 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...