815 search results - page 38 / 163 » Complexity classes for membrane systems |
WACV
2005
IEEE
14 years 2 months ago
2005
IEEE
Sighted individuals draw a significant amount of information from signs but this information is denied to the visually impaired. VIDI is an evolving system for detecting and reco...
CSL
2006
Springer
13 years 8 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
AI
2005
Springer
13 years 8 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
MISQ
2002
13 years 8 months ago
2002
This paper addresses the design problem of providing IT support for emerging knowledge processes (EKPs). EKPs are organizational activity patterns that exhibit three characteristi...
MFCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...