3954 search results - page 257 / 791 » Image-based Model Completion |
165
click to vote
FIMH
2007
Springer
16 years 22 days ago
2007
Springer
We present preliminary results of the numerical simulation of electrocardiograms (ECG). We consider the bidomain equations to model the electrical activity of the heart and a Lapla...
171
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
157
click to vote
NSPW
2004
ACM
15 years 12 months ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
151
click to vote
PG
2003
IEEE
15 years 12 months ago
2003
IEEE
Making virtual modeling as easy and intuitive as realclay manipulation is still an unsolved problem. This paper takes a step in this direction: in addition to offering standard fe...
183
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Performance modeling is important for implementing efficient parallel applications and runtime systems. The LogP model captures the relevant aspects of message passing i...