5015 search results - page 474 / 1003 » Model Checking a Path |
157
click to vote
ICONIP
2007
15 years 8 months ago
2007
To date, the neural decoding of time-evolving physical state – for example, the path of a foraging rat or arm movements – has been largely carried out using linear trajectory m...
197
click to vote
AAAI
1998
15 years 8 months ago
1998
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
215
click to vote
EJC
2000
15 years 8 months ago
2000
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
163
click to vote
COR
2008
15 years 7 months ago
2008
Discrete-time optimal control problems arise naturally in many economic problems. Despite the rapid growth in computing power and new developments in the literature, many economic...
176
click to vote
SIAMAM
2008
15 years 6 months ago
2008
This paper proposes a macroscopic fluid dynamic model dealing with the flows of information on a telecommunication network with sources and destinations. The model consists of a co...