5216 search results - page 600 / 1044 » Planning as Model Checking |
137
click to vote
WSC
1997
15 years 8 months ago
1997
At a parcel delivery company, the items being shipped must be sorted by destination. However, the company typically serves more destinations than there are distinct positions for ...
183
click to vote
UAI
2007
15 years 8 months ago
2007
Inspectable Bayesian student models have been used to support student reflection, knowledge awareness and communication among teacher, students and parents. This paper presents a...
164
click to vote
CII
2007
15 years 6 months ago
2007
The paper uses a case example to present a novel way of building enterprise information systems. The objective is to bring forth the benefits of an item centric systems design in ...
203
click to vote
AI
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we learn the components of dialogue POMDP models from data. In particular, we learn the states, observations, as well as transition and observation functions based o...
176
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...