Sciweavers

2529 search results - page 253 / 506
» The Logical Structure of Binding
Sort
View
IJCSS
2000
176views more  IJCSS 2000»
15 years 6 months ago
AI-based discrete sliding-mode control for real-time implementation
Combination of sliding-mode control and an AI block based on fuzzy logic is introduced. This hybrid control structure provides very good control performance and robustness of contr...
Vladimir B. Bajic, Daohang Sha, Xinzhong Li, Xingm...
ICLP
2011
Springer
14 years 10 months ago
Minimizing the overheads of dependent {AND}-parallelism
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
Peter Wang, Zoltan Somogyi
LORI
2009
Springer
16 years 1 months ago
An Update Operator for Strategic Ability
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
Paolo Turrini, Jan Broersen, Rosja Mastop, John-Ju...
IOLTS
2008
IEEE
91views Hardware» more  IOLTS 2008»
16 years 1 months ago
Physical Demonstration of Polymorphic Self-Checking Circuits
Polymorphic gates can be considered as a new reconfigurable technology capable of integrating logic functions with sensing in a single compact structure. Polymorphic gates whose ...
Richard Ruzicka, Lukás Sekanina, Roman Prok...
DEON
2004
Springer
16 years 2 days ago
Specifying Multiagent Organizations
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
Leendert W. N. van der Torre, Joris Hulstijn, Mehd...