4460 search results - page 789 / 892 » Formal methods for interactive systems |
129
Voted
WSC
2007
15 years 5 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
145
Voted
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...
123
click to vote
APVIS
2010
15 years 5 months ago
2010
In this paper, we introduce a visualization method that couples a trend chart with word clouds to illustrate temporal content evolutions in a set of documents. Specifically, we us...
168
Voted
RIVF
2007
15 years 5 months ago
2007
— In this paper, we present a new approach for automatic car detection from aerial images. The system exploits a robust machine learning method known as boosting for efficient c...
149
Voted
CG
2010
Springer
15 years 3 months ago
2010
Springer
We address the problem of fast, large scale sketch-based image retrieval, searching in a database of over one million images. We show that current retrieval methods do not scale w...