4987 search results - page 442 / 998 » Fuzzifying P Systems |
162
click to vote
CSL
2005
Springer
16 years 16 days ago
2005
Springer
The proof system G∗ 0 of the quantified propositional calculus corresponds to NC1 , and G∗ 1 corresponds to P, but no formula-based proof system that corresponds log space rea...
180
click to vote
KIVS
2005
Springer
16 years 15 days ago
2005
Springer
This paper presents an approach for exchanging presence information between users of an instant messaging system in a mobile ad hoc network. As major feature, presence information ...
241
click to vote
SPC
2005
Springer
16 years 15 days ago
2005
Springer
In pervasive computing environments, changes in context may trigger changes in an individual’s access permissions. We contend that existing access control frameworks do not provi...
184
click to vote
TCGOV
2005
Springer
16 years 15 days ago
2005
Springer
The requirement of integrating, sharing and reusing legislative information is a research issue gaining priority for governments and institutions. The legal world is complex, heter...
169
click to vote
ATAL
2005
Springer
2005
Springer
The DEFACTO system for human omnipresence to coordinate agent teams: the future of disaster response
16 years 14 days ago
Enabling interactions of agent-teams and humans is a critical area of research, with encouraging progress in the past few years. However, previous work suffers from three key lim...