3082 search results - page 290 / 617 » Deviation Analysis: A New Use of Model Checking |
212
click to vote
JCDL
2003
ACM
15 years 12 months ago
2003
ACM
The increasing power of techniques to model complex geometry and extract meaning from 3D information create complex data that must be described, stored, and displayed to be useful...
172
click to vote
CIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we address a model of self interested information agents competing to perform tasks. The agents are situated in an uncertain environment while different tas...
200
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Minimax-regret preference elicitation allows intelligent decisions to be made on behalf of people facing risky choices. Standard gamble queries, a vital tool in this type of prefe...
173
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we propose two ways of improving image classification based on bag-of-words representation [25]. Two shortcomings of this representation are the loss of the spatial...
215
click to vote
ICEGOV
2009
ACM
15 years 4 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...