Sciweavers

10568 search results - page 607 / 2114
» Computer Intelligence and Formalization
Sort
View
IAT
2010
IEEE
15 years 4 months ago
Risk Analysis in Access Control Systems Based on Trust Theories
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...
J. Ma, Luigi Logrippo, Kamel Adi, Serge Mankovski
FOMI
2009
15 years 4 months ago
Modular Ontologies for Architectural Design
Abstract. The design of architectural environments has to take into account various sources of heterogeneous information. Not only quantitative spatial constraints and qualitative ...
Joana Hois, Mehul Bhatt, Oliver Kutz
229
Voted
ICTAI
2010
IEEE
15 years 4 months ago
Combining Learning Techniques for Classical Planning: Macro-operators and Entanglements
Planning techniques recorded a significant progress during recent years. However, many planning problems remain still hard even for modern planners. One of the most promising appro...
Lukás Chrpa
166
Voted
DALT
2010
Springer
15 years 1 months ago
A Deduction System for Meaning Negotiation
Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. We give here a general model of MN for two agents, in whic...
Elisa Burato, Matteo Cristani, Luca Viganò
TSP
2010
15 years 1 months ago
Estimation of ambiguity functions with limited spread
This paper proposes a new estimation procedure for the ambiguity function of a non-stationary time series. The stochastic properties of the empirical ambiguity function calculated...
Heidi Hindberg, Sofia C. Olhede