4099 search results - page 631 / 820 » A Framework for Interactive Proof |
122
click to vote
TRIDENTCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes the motivation, methodology and implementation approach of the testbed that has been developed in the framework of the EVEREST project. Such testbed is used f...
183
click to vote
ACOM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
134
click to vote
AVSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Face images of non-frontal views under poor illumination with low resolution reduce dramatically face recognition accuracy. To overcome these problems, super-resolution techniques...
129
click to vote
CW
2005
IEEE
15 years 10 months ago
2005
IEEE
To support the collaborative development of custom products in current distributed manufacturing, this paper develops a Web-based configure-to-order platform. The proposed platfor...
133
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...