13026 search results - page 2384 / 2606 » Creativity and Artificial Intelligence |
176
click to vote
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
169
click to vote
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
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...
209
click to vote
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
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...
162
Voted
MDAI
2007
Springer
16 years 25 days ago
2007
Springer
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...
153
click to vote
NN
2007
Springer
16 years 25 days ago
2007
Springer
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...