902 search results - page 147 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
MONTEREY
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
110
click to vote
ERSHOV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
103
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— It is widely agreed that efficient visual search requires the integration of target-driven top-down information and image-driven bottom-up information. Yet the problem of gaze...
137
click to vote
JAIR
2011
14 years 3 months ago
2011
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mo...
100
click to vote
SBMF
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...