2067 search results - page 198 / 414 » Logics of propositional control |
202
click to vote
MSO
2003
15 years 8 months ago
2003
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
144
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
147
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitu...
164
click to vote
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Multimedia streaming is resource demanding. It may starve other applications such as file transfer sharing the network, for example, in a smart home. To address the problem, we...