6042 search results - page 1057 / 1209 » Repeated Observation Models |
139
Voted
JRTIP
2008
15 years 5 months ago
2008
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...
130
click to vote
JCC
2006
15 years 5 months ago
2006
: We describe the implementation of a general and flexible Monte Carlo (MC) module for the program CHARMM, which is used widely for modeling biomolecular systems with empirical ene...
150
click to vote
DEDS
2007
15 years 5 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
153
Voted
JSA
2006
15 years 5 months ago
2006
Stringent memory access and search speed requirements are two of the main bottlenecks in wire speed processing. Most viable search engines are implemented in content addressable m...
126
Voted
ENTCS
2007
15 years 5 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...