4099 search results - page 497 / 820 » A Framework for Interactive Proof |
177
click to vote
VDA
2010
15 years 9 months ago
2010
Spatialization is a special kind of visualization that projects multidimensional data into low-dimensional representational spaces by making use of spatial metaphors. Spatializati...
184
click to vote
FLAIRS
2007
15 years 9 months ago
2007
This paper addresses the issue of learning from communication among agents that work in the same domain, are capable of learning from examples, and communicate using an argumentat...
209
click to vote
AOSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
205
click to vote
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
158
click to vote
BCSHCI
2007
2007
Introducing the companions project: intelligent, persistent, personalised interfaces to the internet
15 years 8 months ago
The Companions project is a 4 year, EU funded Framework Programme 6 project involving a consortium of 16 partners across 8 countries. Its aim is to develop a personalised conversa...