Sciweavers

5372 search results - page 328 / 1075
» complexity 2007
Sort
View
XPU
2007
Springer
15 years 8 months ago
Motivation and Cohesion in Agile Teams
This research explored aspects of agile teamwork initiatives associated with positive socio-psychological phenomena, with a focus on phenomena outside the scope of traditional mana...
Elizabeth Whitworth, Robert Biddle
105
Voted
AB
2007
Springer
15 years 6 months ago
Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
Alexandre Sedoglavic
148
Voted
AMFG
2007
IEEE
255views Biometrics» more  AMFG 2007»
15 years 6 months ago
A New Probabilistic Model for Recognizing Signs with Systematic Modulations
Abstract. This paper addresses an aspect of sign language (SL) recognition that has largely been overlooked in previous work and yet is integral to signed communication. It is the ...
Sylvie C. W. Ong, Surendra Ranganath
133
Voted
CAISE
2007
Springer
15 years 6 months ago
Specification and Verification of Authorization Policies for Web Services Composition
The management and maintenance of a large number of Web services is not easy and, in particular, needs appropriate authorization policies to be defined so as to realize reliable an...
Mohsen Rouached, Claude Godart
127
Voted
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 6 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...