4762 search results - page 316 / 953 » About the use of protein models |
157
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
– Effective communication between a person and a robot may depend on whether there exists a common ground of understanding between the two. In two experiments modelled after huma...
169
click to vote
BIRTHDAY
2005
Springer
16 years 7 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
168
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
174
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
176
click to vote
LR
2011
14 years 9 months ago
2011
Abstract Communities of autonomous units are devices for the visual modeling of interactive logistic processes. The framework is founded on rule-based graph transformation and allo...