5550 search results - page 235 / 1110 » Different Approaches to Proof Systems |
195
click to vote
VR
2010
IEEE
15 years 5 months ago
2010
IEEE
VirtualizeMe introduces a new design for a fully immersive TeleImmersion system for remote collaboration and virtual world interaction. This system introduces a new avatar creatio...
167
click to vote
WSC
1997
15 years 8 months ago
1997
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...
169
click to vote
AAMAS
2010
Springer
15 years 6 months ago
2010
Springer
Holonic multiagent systems (HMAS) offers a promising software engineering approach for developing complex open software systems. However the process of building MultiAgent Systems...
191
click to vote
WCE
2007
15 years 7 months ago
2007
— This paper proposes a personalized web-based system with evolving automatic indexing that may be used in multimedia courses. Instructors may use the system to create and delive...
158
click to vote
FPL
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we present Minibit+, an approach that optimizes the bit-widths of fixed-point and floating-point designs, while guaranteeing accuracy. Our approach adopts differen...