Sciweavers

7106 search results - page 181 / 1422
» Restricted Complexity, General Complexity
Sort
View
117
Voted
ATAL
2010
Springer
15 years 4 months ago
Strategy exploration in empirical games
Empirical analyses of complex games necessarily focus on a restricted set of strategies, and thus the value of empirical game models depends on effective methods for selectively e...
Patrick R. Jordan, L. Julian Schvartzman, Michael ...
108
Voted
VSTTE
2005
Springer
15 years 9 months ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
128
Voted
SACMAT
2004
ACM
15 years 9 months ago
Role-based access control in ambient and remote space
In the era of Ubiquitous Computing and world–wide data transfer mobility, as an innovative aspect of professional activities, imposes new and complex problems of mobile and dist...
Horst Wedde, Mario Lischka
137
Voted
DOA
2000
75views more  DOA 2000»
15 years 5 months ago
A Distributed-Object Infrastructure for Corporate Websites
A corporate website is the virtual representation of a corporation or organization on the Internet. Corporate websites face numerous problems due to their large size and complexit...
Ihor Kuz, Patrick Verkaik, Maarten van Steen, Henk...
128
Voted
JOLLI
2006
76views more  JOLLI 2006»
15 years 3 months ago
A Modal Interpretation of the Logic of Interrogation
We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniq...
Rani Nelken, Chung-chieh Shan