10568 search results - page 363 / 2114 » Computer Intelligence and Formalization |
170
Voted
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
Ontologies are becoming more and more popular as background knowledge for intelligent applications. Up to now, there has been a schism between manually assembled, highly axiomatic...
163
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
181
click to vote
TOCL
2008
15 years 6 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
143
click to vote
SYNASC
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
150
Voted
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...