Sciweavers

1656 search results - page 153 / 332
» Ontology Composition using a Role Modeling Approach
Sort
View
FMSD
2002
107views more  FMSD 2002»
13 years 10 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
JUCS
2008
161views more  JUCS 2008»
13 years 10 months ago
A Model-Driven Approach to Align Business Processes with User Interfaces
: Information Technology (IT) has evolved over time from its traditional use as administrative support towards a more strategic role to enforce business processes (BP). But several...
Kênia Soares Sousa, Hildeberto Mendonç...
ICMI
2005
Springer
158views Biometrics» more  ICMI 2005»
14 years 3 months ago
Recognition of sign language subwords based on boosted hidden Markov models
Sign language recognition (SLR) plays an important role in human-computer interaction (HCI), especially for the convenient communication between deaf and hearing society. How to e...
Liang-Guo Zhang, Xilin Chen, Chunli Wang, Yiqiang ...
SEMWEB
2009
Springer
14 years 4 months ago
Results of GeRoMeSuite for OAEI 2009
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...
Christoph Quix, Sandra Geisler, David Kensche, Xia...
CMOT
2006
146views more  CMOT 2006»
13 years 10 months ago
Normative KGP agents
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions tha...
Fariba Sadri, Kostas Stathis, Francesca Toni