4099 search results - page 294 / 820 » A Framework for Interactive Proof |
185
click to vote
AVSS
2005
IEEE
16 years 8 days ago
2005
IEEE
A significant problem in scene interpretation is efficient bottom-up extraction and representation of salient features. In this paper, we address the problem of correlating sali...
209
click to vote
FASE
2004
Springer
16 years 21 hour ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
171
click to vote
COLCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
Community computing is an agent-based development paradigm for ubiquitous computing systems. In a community computing system, ubiquitous services are provided by cooperation among ...
192
click to vote
APVIS
2008
15 years 8 months ago
2008
Large amounts of time-varying datasets create great challenges for users to understand and explore them. This paper proposes an efficient visualization method for observing overal...
150
click to vote
WSPI
2008
15 years 8 months ago
2008
Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin...