Sciweavers

2036 search results - page 168 / 408
» Simulating On-the-Road Behavior Using a Driving Simulator
Sort
View
152
Voted
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 10 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
123
Voted
TVCG
2008
121views more  TVCG 2008»
15 years 3 months ago
Multi-Focused Geospatial Analysis Using Probes
Traditional geospatial information visualizations often present views that restrict the user to a single perspective. When zoomed out, local trends and anomalies become suppressed ...
Thomas Butkiewicz, Wenwen Dou, Zachary Wartell, Wi...
145
Voted
VC
2010
217views more  VC 2010»
15 years 2 months ago
Solving the Shallow Water equations using 2D SPH particles for interactive applications
In this paper, we introduce a 2D particle-based approach to achieve realistic water surface behaviors for interactive applications. We formulate 2D particle-based Shallow Water equ...
Hyokwang Lee, Soonhung Han
88
Voted
ASPDAC
2006
ACM
74views Hardware» more  ASPDAC 2006»
15 years 9 months ago
Macromodelling oscillators using Krylov-subspace methods
— We present an efficient method for automatically extracting unified amplitude/phase macromodels of arbitrary oscillators from their SPICE-level circuit descriptions. Such com...
Xiaolue Lai, Jaijeet S. Roychowdhury
124
Voted
ATAL
2005
Springer
15 years 9 months ago
The use of emotions to create believable agents in a virtual environment
In the past emotions have been dismissed as a distraction to the logical, scientific thought process. More recently however, the importance of emotion in human-like intelligence a...
Karthi Selvarajah, Debbie Richards