Sciweavers

3790 search results - page 495 / 758
» Advances in Mixture Models
Sort
View
SC
1993
ACM
15 years 11 months ago
Scientific visualization of chemical systems
Within the past few years, computer graphics has played a decisive role in transforming the field of molecular modeling into an intemaiional industry. While computer scientists ar...
Richard E. Gillilan, Bruce R. Land
KR
1992
Springer
15 years 11 months ago
Conversational Events and Discourse State Change: A Preliminary Report
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
Massimo Poesio
HVC
2007
Springer
106views Hardware» more  HVC 2007»
15 years 11 months ago
Exploiting Shared Structure in Software Verification Conditions
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
Domagoj Babic, Alan J. Hu
ASIACRYPT
2001
Springer
15 years 11 months ago
Provably Authenticated Group Diffie-Hellman Key Exchange - The Dynamic Case
Dynamic group Diffie-Hellman protocols for Authenticated Key Exchange (AKE) are designed to work in a scenario in which the group membership is not known in advance but where parti...
Emmanuel Bresson, Olivier Chevassut, David Pointch...
CCGRID
2001
IEEE
15 years 11 months ago
Data Staging Effects in Wide Area Task Farming Applications
Recent advances in computing and communication have given rise to the computational grid notion. The core of this computing paradigm is the design of a system for drawing compute ...
Wael R. Elwasif, James S. Plank, Richard Wolski