3082 search results - page 520 / 617 » Deviation Analysis: A New Use of Model Checking |
124
click to vote
WER
2004
Springer
15 years 9 months ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
133
click to vote
UAI
2000
15 years 5 months ago
2000
A simple advertising strategy that can be used to help increase sales of a product is to mail out special o ers to selected potential customers. Because there is a cost associated...
146
click to vote
AIPS
2009
15 years 5 months ago
2009
Solving multiagent planning problems modeled as DECPOMDPs is an important challenge. These models are often solved by using dynamic programming, but the high resource usage of cur...
150
click to vote
ISCI
2010
15 years 2 months ago
2010
We present a framework for modeling the spread of pathogens throughout a population and generating policies that minimize the impact of those pathogens on the population. This fra...
150
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper, we study the problem of social relational inference using visual concepts which serve as indicators of actors’ social interactions. While social network analysis ...