Sciweavers

1419 search results - page 35 / 284
» Notes on Formalizing Context
Sort
View
129
Voted
CVPR
2006
IEEE
15 years 6 months ago
Recognition of Composite Human Activities through Context-Free Grammar Based Representation
This paper describes a general methodology for automated recognition of complex human activities. The methodology uses a context-free grammar (CFG) based representation scheme to ...
Michael S. Ryoo, J. K. Aggarwal
80
Voted
LACL
2005
Springer
15 years 6 months ago
A Polynomial Time Extension of Parallel Multiple Context-Free Grammar
Abstract. It is already known that parallel multiple context-free grammar (PMCFG) [1] is an instance of the equivalent formalisms simple literal movement grammar (sLMG) [2,3] and r...
Peter Ljunglöf
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
14 years 10 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
150
Voted
LORI
2009
Springer
15 years 7 months ago
Dynamic Context Logic
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
Guillaume Aucher, Davide Grossi, Andreas Herzig, E...
108
Voted
IJBIS
2010
123views more  IJBIS 2010»
14 years 9 months ago
Designing information systems requirements in context: insights from the theory of deferred action
This paper considers conceptual and contextual issues relating to the problem of developing systems models capable of representing knowable and unknowable information requirements...
Nandish V. Patel, Ray Hackney