15888 search results - page 2673 / 3178 » Supporting human-intensive systems |
205
click to vote
REFSQ
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
212
Voted
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
234
click to vote
SCIA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present an efficient system for action recognition from very short sequences. For action recognition typically appearance and/or motion information of an action ...
197
Voted
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Code review is often suggested as a means of improving code quality. Since humans are poor at repetitive tasks, some form of tool support is valuable. To that end we developed a p...
174
Voted
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. I...