5866 search results - page 379 / 1174 » An e-Process Selection Model |
165
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
Precise teleoperation of deztrous robotic hands by hand masters requires an accurate human hand model. A kinematic model of a human index finger is developed as an example for hum...
163
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
180
click to vote
WSC
2008
15 years 9 months ago
2008
This paper reports on the development and validation of an agent based simulation model of air traffic control arrival operations. The simulation model includes modeling of both t...
157
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
150
click to vote
SIROCCO
2008
15 years 8 months ago
2008
We study communication in known topology radio networks with the presence of interference constraints. We consider a real-world situation, when a transmission of a node produces an...