857 search results - page 67 / 172 » Interactive Consistency in Quasi-Asynchronous Systems |
CBMS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes PATSy, an established interactive case-based system that provides students with access to virtual patients. PATSy has recently been extended by the addition o...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
As the first step toward a multi-scale, hierarchical computational approach for membrane protein structure prediction, the packing of transmembrane helices was modeled at the resi...
IV
2002
IEEE
15 years 2 months ago
2002
IEEE
The paper presents a virtual reality modeling system based on interactive web technologies. The system’s goal is to provide a user-friendly virtual environment for the developme...
IFM
1999
Springer
15 years 2 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
NIPS
1996
14 years 11 months ago
1996
A general feature of the cerebral cortex is its massive interconnectivity-ithas been estimatedanatomically 15 that cortical neurons receive on the order of 10,000 synapses, the ma...