5216 search results - page 508 / 1044 » Planning as Model Checking |
151
click to vote
WSC
2008
15 years 9 months ago
2008
This paper presents a proof-of-concept discrete-event simulation model for examining the ability of the Canadian Forces (CF) to sustain operations, from a human resources perspect...
169
click to vote
NAACL
2003
15 years 8 months ago
2003
This paper describes the construction of language choice models for the microplanning of discourse relations in a Natural Language Generation system that attempts to generate appr...
196
Voted
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
3D models of urban sites with geometry and facade textures are needed for many planning and visualization applications. Approximate 3D wireframe model can be derived from aerial i...
168
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an action case study of the process by which the Swedish computer game developer Daydream Software planned, developed, and implemented the business model for i...
171
Voted
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...