7890 search results - page 413 / 1578 » The MathSAT 3 System |
161
click to vote
WOA
2007
15 years 8 months ago
2007
—This document briefly describes a framework supporting the definition and implementation of virtual environment inhabited by interacting situated agents defined according to the...
182
click to vote
DSS
2006
15 years 6 months ago
2006
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
137
click to vote
CGF
2000
15 years 6 months ago
2000
Geometric acoustic modeling systems spatialize sounds according to reverberation paths from a sound source to a receiver to give an auditory impression of a virtual 3D environment...
157
click to vote
TPDS
1998
15 years 6 months ago
1998
—Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are 3-complete and hence it may not be possible to desig...
163
click to vote
TSMC
2002
15 years 6 months ago
2002
Abstract--This paper presents an iterative learning scheme for visionguided robot trajectory tracking. At first, a stability criterion for designing iterative learning controller i...