2934 search results - page 202 / 587 » Universality in Multi-Agent Systems |
163
click to vote
LCTRTS
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
179
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
185
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Modern object-relational database systems are capable of managing multimedia data, e.g. image, video and audio. In this paper we study how such universal database systems can be u...
191
click to vote
ACSE
1996
ACM
15 years 10 months ago
1996
ACM
The need for the teaching of professional skills to undergraduates in areas such as communications, team work, conflict resolution, and ethics has for some time been articulated b...
212
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this poster, we will propose a framework for finding, recommending and inserting learning objects in a digital repository level, exploiting the user context that is captured fro...