5352 search results - page 914 / 1071 » Modeling the socio-cultural context |
179
click to vote
ENTCS
2008
15 years 6 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
179
click to vote
EOR
2008
15 years 6 months ago
2008
Transportation is an important component of supply chain competitiveness since it plays a major role in the inbound, inter-facility, and outbound logistics. In this context, assig...
173
click to vote
FSS
2008
15 years 6 months ago
2008
We work with fuzzy Turing machines (FTMs) and we study the relationship between this computational model and classical recursion concepts such as computable functions, recursively...
163
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a novel approach for the generation of realistic speech synchronized 3D facial animation that copes with anticipatory and perseveratory coarticulation. The met...
193
click to vote
COMCOM
2006
15 years 6 months ago
2006
Managing the bandwidth allocated to a Label Switched Path in MPLS networks plays a major role for provisioning of Quality of Service and efficient use of resources. In doing so, t...