Sciweavers

3771 search results - page 471 / 755
» Subobject Transformation Systems
Sort
View
CALCO
2009
Springer
176views Mathematics» more  CALCO 2009»
16 years 1 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
16 years 1 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
16 years 1 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
16 years 1 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
16 years 1 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