3333 search results - page 189 / 667 » New Invariants for Groups |
CAV
2008
Springer
14 years 12 days ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
BMVC
2010
13 years 8 months ago
2010
The paper proposes a new method to perform foreground detection by means of background modeling using the tensor concept. Sometimes, statistical modelling directly on image values...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Traditional GSS workflow leverages the abilities of an expert facilitator to lead groups through the convergence activities. This dependence on a facilitator creates a bottleneck ...
CAISE
2010
Springer
13 years 10 months ago
2010
Springer
We identify the success factors of collaborative modeling of business processes by a qualitative analysis of the experiences of participants in group modeling sessions. The factors...
FFA
2008
13 years 10 months ago
2008
The finite flag-transitive linear spaces which have an insoluble automorphism group were given a precise description in [BDD+90], and their classification has recently been comple...