Sciweavers

7047 search results - page 70 / 1410
» Focusing on Binding and Computation
Sort
View
CGI
2006
IEEE
15 years 6 months ago
Skeleton-Driven Animation Transfer Based on Consistent Volume Parameterization
To edit or create the animation of a 3D character model has always been an important but time-consuming task, since the animator usually needs to set up the character’s skeleton,...
Yen-Tuo Chang, Bing-Yu Chen, Wan-Chi Luo, Jian-Bin...
COORDINATION
2010
Springer
15 years 3 months ago
Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks
Abstract. Wireless sensor networks (WSNs) exhibit high levels of network dynamics and consist of devices with limited energy. This results in the need to coordinate applications no...
Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
SOCA
2010
IEEE
14 years 9 months ago
Exploiting multicores to optimize business process execution
While modern CPUs offer an increasing number of cores with shared caches, prevailing execution engines for business processes, workflows, or Web service compositions have not been ...
Achille Peternier, Daniele Bonetta, Cesare Pautass...
STACS
2010
Springer
15 years 6 months ago
Named Models in Coalgebraic Hybrid Logic
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
Lutz Schröder, Dirk Pattinson
FDG
2009
ACM
15 years 6 months ago
Very fast action selection for parameterized behaviors
In this paper, I will discuss a set of techniques for supporting limited variable binding in behavior-based systems. This adds additional useful expressivity while preserving the ...
Ian Horswill