28445 search results - page 651 / 5689 » Anatomically based modeling |
137
click to vote
ECTEL
2007
Springer
15 years 11 months ago
2007
Springer
Search engine-based features are a basic interaction mean for users to find information inside a Web-based Learning Management Systems (LMS); nonetheless, traditional solutions la...
126
click to vote
SAT
2007
Springer
15 years 11 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
143
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
158
click to vote
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
180
Voted
FLAIRS
2000
15 years 6 months ago
2000
Today's driving simulators are used in vehicle research and design as well as in training. However, most simulators are not convincing because the degree of realism is not ad...