Sciweavers

3771 search results - page 471 / 755
» Subobject Transformation Systems
Sort
View
CALCO
2009
Springer
176views Mathematics» more  CALCO 2009»
15 years 11 months ago
Complementation of Coalgebra Automata
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
Christian Kissig, Yde Venema
ECOWS
2009
Springer
15 years 11 months ago
A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
Mohammed Alodib, Behzad Bordbar
ESWS
2009
Springer
15 years 11 months ago
Folksonomy Enrichment and Search
The Semantic Web community has expressed its interest on how the Semantic Web technology can be applied more efficiently in a manner that supports real world applications. Addition...
Sofia Angeletou, Marta Sabou, Enrico Motta
ISVC
2009
Springer
15 years 11 months ago
Real-Time Dynamic Wrinkles of Face for Animated Skinned Mesh
This paper presents a method to add fine details, such as wrinkles and bulges, on a virtual face animated by common skinning techniques. Our system is based on a small set of refe...
Ludovic Dutreve, Alexandre Meyer, Saïda Bouak...
SIGGRAPH
2009
ACM
15 years 11 months ago
Multi-touch everywhere!
In this paper, we describe a set of hardware and software tools for creating musical controllers with any flat surface or simple object, such as tables, walls, metallic plates, wo...
Alain Crevoisier, Greg Kellum