5216 search results - page 512 / 1044 » Planning as Model Checking |
164
click to vote
NSPW
2006
ACM
16 years 25 days ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
183
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. A novel interactive virtual needle insertion simulation is presented. The insertion model simulates three-degree-of-freedom needle motion, physically-based needle forces,...
169
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
152
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Modern software systems are highly interconnected and have been under constant change for many years. IT decision makers find it difficult to predict and plan change projects due ...
188
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper deals with the interaction between progressive model adaptation and score normalization strategies which are used for reducing the variation in likelihood ratio scores ...