700 search results - page 90 / 140 » Combinations of Stit and Actions |
ESE
2008
13 years 9 months ago
2008
The development of methods tools and process improvements is best to be based on the understanding of the development practice to be supported. Qualitative research has been propo...
CGA
1998
13 years 9 months ago
1998
This paper describes methods and data structures used to leverage motion sequences of complex linked figures. We present a technique for interpolating between example motions der...
ESOP
2004
Springer
14 years 3 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
CIVR
2010
Springer
14 years 2 months ago
2010
Springer
This paper describes an approach to optimize query by visual example results, by combining visual features and implicit user feedback in interactive video retrieval. To this end, ...
BMCBI
2010
13 years 9 months ago
2010
Background: Various high throughput methods are available for detecting regulations at the level of transcription, translation or posttranslation (e.g. phosphorylation). Integrati...