4693 search results - page 357 / 939 » Verifying Hybrid Systems |
182
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
We present an optimized parallelization scheme for molecular dynamics simulations of large biomolecular systems, implemented in the production-quality molecular dynamics program N...
191
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
We built a Web-based adaptive recommendation system for students to select and suggest architectural cases when they analyze "Case Study" work within the architectural de...
192
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
This paper argues about the deployment positions of Network-based Intrusion Detection System and suggests the "Distributed Network Security Sensors" distributed among the...
215
click to vote
WSCG
2003
15 years 8 months ago
2003
In designing physical objects, tangible models play an important part. Recent advances in augmented reality displays show new directions to support this field of prototyping. This...
188
click to vote
IJCAI
1997
15 years 8 months ago
1997
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...