Sciweavers

12993 search results - page 2377 / 2599
» Artificial Intelligence in China
Sort
View
LPAR
2007
Springer
15 years 6 months ago
Deciding Knowledge in Security Protocols for Monoidal Equational Theories
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Véronique Cortier, Stéphanie Delaune
131
Voted
LPAR
2007
Springer
15 years 6 months ago
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin
96
Voted
MDAI
2007
Springer
15 years 6 months ago
Weighting Individual Opinions in Group Decision Making
Abstract. In this paper we introduce a multi-stage decision making procedure where decision makers sort the alternatives by means of a fixed set of linguistic categories, each one...
José Luis García-Lapresta
86
Voted
NN
2007
Springer
165views Neural Networks» more  NN 2007»
15 years 6 months ago
Dynamical Architecture of the Mammalian Olfactory System
The mammalian olfactory system shows many types of sensory and perceptual processing accompanied by oscillations at the level of the local field potential, and much is already know...
Leslie M. Kay
99
Voted
SGAI
2007
Springer
15 years 6 months ago
Selecting Bi-Tags for Sentiment Analysis of Text
Sentiment Analysis aims to determine the overall sentiment orientation of a given input text. One motivation for research in this area is the need for consumer related industries t...
Rahman Mukras, Nirmalie Wiratunga, Robert Lothian
« Prev « First page 2377 / 2599 Last » Next »