Sciweavers

4074 search results - page 383 / 815
» Abstract Graph Transformation
Sort
View
KI
2007
Springer
16 years 26 days ago
Knowledge Compilation for Description Logics
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...
Ulrich Furbach, Claudia Obermaier
RULEML
2007
Springer
16 years 25 days ago
Specifying Process-Aware Access Control Rules in SBVR
Abstract. Access control is an important aspect of regulatory compliance. Therefore, access control specifications must be process-aware in that they can refer to an underlying bu...
Stijn Goedertier, Christophe Mues, Jan Vanthienen
161
Voted
GMP
2006
IEEE
149views Solid Modeling» more  GMP 2006»
16 years 24 days ago
Shape-Based Retrieval of Articulated 3D Models Using Spectral Embedding
Abstract. We present an approach for robust shape retrieval from databases containing articulated 3D shapes. We represent each shape by the eigenvectors of an appropriately define...
Varun Jain, Hao Zhang 0002
ICMCS
2006
IEEE
107views Multimedia» more  ICMCS 2006»
16 years 23 days ago
Complexity Scalable 2 : 1 Resolution Downscaling MPEG-2 to WMV Transcoder with Adaptive Error Compensation
Abstract— In this paper, we focus on 2 : 1 spatial resolution downscaling transcoding from MPEG-2 to WMV. We propose two architectures (for sequences with or without B-frames res...
Guobin Shen, Yuwen He, Wanyong Cao, Shipeng Li
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
16 years 23 days ago
Mathematical Foundation for Hormone-inspired Control for Self-reconfigurable Robotic Systems
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
Feili Hou, Wei-Min Shen