29147 search results - page 83 / 5830 » System Modeling Resurrected |
110
click to vote
SIAMAM
2000
15 years 2 months ago
2000
A simplified electrodiffusion model for rectangular current pulses in ionic channels of biological membranes is presented. Numerical simulations and a dynamical systems analysis of...
125
click to vote
ACL
2010
15 years 27 days ago
2010
This paper explores the use of clickthrough data for query spelling correction. First, large amounts of query-correction pairs are derived by analyzing users' query reformula...
107
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
In recent papers it has been suggested that human locomotion may be modeled as an inverse optimal control problem. In this paradigm, the trajectories are assumed to be solutions of...
131
click to vote
MEMOCODE
2010
IEEE
15 years 22 days ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
125
click to vote
CSL
2002
Springer
15 years 2 months ago
2002
Springer
In this paper, we describe a generation system for spoken dialogue that not only produces coherent, informative and responsive dialogue contributions, but also explicitly models h...