Sciweavers

17054 search results - page 328 / 3411
» Logics of Dynamical Systems
Sort
View
FSS
2002
96views more  FSS 2002»
15 years 7 months ago
An approach to stopping problems of a dynamic fuzzy system
We formulate a stopping problem for dynamic fuzzy systems concerning with fuzzy decision environment. It could be regarded as a natural fuzzification of non-fuzzy stopping problem...
Masami Kurano, Masami Yasuda, Jun-ichi Nakagami, Y...
AUTOMATICA
2008
124views more  AUTOMATICA 2008»
15 years 7 months ago
Lyapunov conditions for input-to-state stability of impulsive systems
This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary diff...
João Pedro Hespanha, Daniel Liberzon, Andre...
POLICY
2005
Springer
16 years 28 days ago
An Audit Logic for Accountability
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, ...
FLAIRS
2006
15 years 8 months ago
Evaluation of the q-matrix Method in Understanding Student Logic Proofs
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
Tiffany Barnes
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 7 months ago
A Logical Temporal Relational Data Model
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
Nadeem Mahmood, Aqil Burney, Kamran Ahsan