28445 search results - page 593 / 5689 » Anatomically based modeling |
87
Voted
IACR
2011
14 years 4 months ago
2011
127
click to vote
COMPSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
128
click to vote
RAS
2010
15 years 3 months ago
2010
In this paper we extend the control methodology based on Extended Markov Tracking (EMT) by providing the control algorithm with capabilities to calibrate and even partially recons...
185
Voted
CADE
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...