3954 search results - page 228 / 791 » Image-based Model Completion |
198
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
162
click to vote
JCNS
2010
15 years 5 months ago
2010
Accurately simulating neurons with realistic morphological structure and synaptic inputs requires the solution of large systems of nonlinear ordinary differential equations. We ap...
162
click to vote
SAMOS
2010
Springer
15 years 4 months ago
2010
Springer
—Process Networks (PNs) is an appealing computation ion helping to specify an application in parallel form and realize it on parallel platforms. The key questions to be answered ...
196
click to vote
GAMEON
2009
15 years 4 months ago
2009
This research attempts to measure personality by monitoring behaviour in a virtual environment. A computer game was created to measure a trait of the Five Factor Model of personal...
180
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
The stochastic equations of motion for a system of interacting rigid bodies in a solvent are formulated and studied. Three-dimensional bodies of arbitrary shape, with arbitrary cou...