Sciweavers

2492 search results - page 171 / 499
» An Integrated Rule Modeling Framework
Sort
View
GLVLSI
2010
IEEE
296views VLSI» more  GLVLSI 2010»
15 years 6 months ago
AOP-based high-level power estimation in SystemC
The paper presents a novel high-level power modeling and estimation framework. The approach is based on a synergic integration of aspect-oriented programming(AOP) and SystemC. Mac...
Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi
ICPR
2002
IEEE
15 years 11 months ago
3-D Object Representation from Multi-View Range Data Applying Deformable Superquadrics
This paper presents a new framework for recovering superquadrics with global deformations from multi-view real range data. The framework aims at improving confidence and accuracy...
Yan Zhang, Joon Ki Paik, Andreas Koschan, Mongi A....
EUROMICRO
1998
IEEE
15 years 11 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
AOSE
2008
Springer
15 years 8 months ago
OperA and Brahms: A Symphony?
The organizational view on work systems focuses on the desired outcomes of work, while the emergent view focuses on how the work actually gets done. Often a gap exists between thes...
Bart-Jan van Putten, Virginia Dignum, Maarten Sier...
JASIS
2000
120views more  JASIS 2000»
15 years 6 months ago
Probabilistic datalog: Implementing logical information retrieval for advanced applications
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
Norbert Fuhr