4460 search results - page 607 / 892 » Formal methods for interactive systems |
171
click to vote
ESANN
2006
15 years 8 months ago
2006
Complex networks have received much attention in the last few years, and reveal global properties of interacting systems in domains like biology, social sciences and technology. O...
235
click to vote
ICIP
2010
IEEE
16 years 1 months ago
2010
IEEE
In this paper is presented an effective and efficient method for content-aware image resizing. It is based on the solution of a linear system where each pixel displacement (compres...
195
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
207
Voted
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
157
click to vote
IJCAI
1989
15 years 7 months ago
1989
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...