4211 search results - page 113 / 843 » A formal approach to MASQ |
106
Voted
DOCENG
2007
ACM
15 years 4 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
116
Voted
ACSC
2004
IEEE
15 years 4 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
82
Voted
AIMSA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper, we propose a general and abstract formal setting for argumentative dialogue protocols. We identify a minimal set of basic parameters that characterize dial...
118
click to vote
ZUM
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
CMSB
2008
Springer
15 years 2 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...