4341 search results - page 422 / 869 » Quantitative Model checking |
183
click to vote
IADIS
2004
15 years 8 months ago
2004
We have developed models of how strategies are constructed and retained as male and female high school and university students gain experience in solving online qualitative chemic...
185
click to vote
NIPS
2004
15 years 8 months ago
2004
In this work, we quantitatively investigate the ways in which a given person influences the joint turn-taking behavior in a conversation. After collecting an auditory database of ...
191
click to vote
IFIP3
2003
15 years 8 months ago
2003
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...
210
click to vote
WICSA
2004
15 years 8 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
167
click to vote
JCM
2006
15 years 6 months ago
2006
Recent FCC proceedings have considered the notion of unlicensed device operation in licensed bands. Licensed users are concerned about harmful interference while unlicensed device ...