3346 search results - page 200 / 670 » A Generic Rendering System |
151
click to vote
TPHOL
2005
IEEE
16 years 2 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...
195
click to vote
EPIA
2005
Springer
16 years 23 hour 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...
197
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...
203
click to vote
TAMODIA
2007
15 years 7 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...
141
click to vote
CORR
2011
Springer
15 years 1 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...