3333 search results - page 189 / 667 » New Invariants for Groups |
90
Voted
CAV
2008
Springer
15 years 2 months 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 ...
122
click to vote
BMVC
2010
14 years 10 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...
99
Voted
HICSS
2008
IEEE
15 years 7 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 ...
99
Voted
CAISE
2010
Springer
15 years 29 days 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...
79
Voted
FFA
2008
15 years 24 days 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...