Sciweavers

800 search results - page 41 / 160
» Towards a formalization of budgets
Sort
View
CLA
2006
15 years 15 days ago
Towards Concise Representation for Taxonomies of Epistemic Communities
We present an application of formal concept analysis aimed at creating and representing a meaningful structure of knowledge communities under the form of a lattice-based taxonomy ...
Camille Roth, Sergei A. Obiedkov, Derrick G. Kouri...
CSAC
2006
15 years 15 days ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
IDA
2006
Springer
14 years 11 months ago
Towards symbolic mining of images with association rules: Preliminary results on textures
This paper presents new textural features which are based on association rules. We give a texture representation, which is an appropriate formalism, that allows straightforward app...
Matjaz Bevk, Igor Kononenko
UAIS
2002
100views more  UAIS 2002»
14 years 10 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...
CORR
2010
Springer
178views Education» more  CORR 2010»
14 years 9 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch