3346 search results - page 200 / 670 » A Generic Rendering System |
169
Voted
TPHOL
2005
IEEE
16 years 20 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
211
Voted
EPIA
2005
Springer
16 years 19 days ago
2005
Springer
In this paper, we propose a framework named UMT (User-profile Modeling based on Transactional data) for modeling user group profiles based on the transactional data. UMT is a gener...
212
click to vote
DAI
1995
Springer
15 years 10 months ago
1995
Springer
Potentially one of the most significant opportunities for enterprise integration is the recent development and advancement of agent based systems. However, before agents can be us...
229
click to vote
TAMODIA
2007
15 years 8 months ago
2007
Mixed Interactive Systems (MIS) is a generic term encompassing mixed and augmented reality, augmented virtuality, and tangible interfaces systems. The work we present in this paper...
157
Voted
CORR
2011
Springer
15 years 2 months ago
2011
Springer
We consider continuous-time consensus seeking systems whose time-dependent interactions are cut-balanced, in the following sense: if a group of agents influences the remaining on...