Sciweavers

4609 search results - page 449 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
ISVC
2005
Springer
16 years 11 days ago
Mining Paths of Complex Crowd Scenes
The Ambient Intelligence (AmI) paradigm requires a robust interpretation of people actions and behaviour and a way for automatically generating persistent spatial-temporal models o...
Beibei Zhan, Paolo Remagnino, Sergio A. Velastin
168
Voted
TES
2005
Springer
16 years 10 days ago
A Lightweight Model-Driven Orchestration Engine for e-Services
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...
Johann Oberleitner, Florian Rosenberg, Schahram Du...
185
Voted
ADS
2004
Springer
16 years 8 days ago
Coloring Multi-character Conversations through the Expression of Emotions
In this paper we describe how to generate affective dialogs for multiple virtual characters based on a combination of both automatically generated and pre-scripted scenes. This is ...
Patrick Gebhard, Martin Klesen, Thomas Rist
223
Voted
FOSSACS
2004
Springer
16 years 7 days ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Salvador Lucas
FPL
2004
Springer
112views Hardware» more  FPL 2004»
16 years 7 days ago
Automating the Layout of Reconfigurable Subsystems via Template Reduction
When designing SoCs, a unique opportunity exists to generate custom FPGA architectures that are specific to the application domain in which the device will be used. The inclusion o...
Shawn Phillips, Akshay Sharma, Scott Hauck