Sciweavers

1368 search results - page 78 / 274
» A Hybrid Reputation Model Based on the Use of Organizations
Sort
View
CORR
2010
Springer
67views Education» more  CORR 2010»
13 years 9 months ago
Using ATL to define advanced and flexible constraint model transformations
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
Raphaël Chenouard, Laurent Granvilliers, Rica...
ICPADS
2006
IEEE
14 years 3 months ago
Scalable Hybrid Designs for Linear Algebra on Reconfigurable Computing Systems
—Recently, high-end reconfigurable computing systems that employ Field-Programmable Gate Arrays (FPGAs) as hardware accelerators for general-purpose processors have been built. T...
Ling Zhuo, Viktor K. Prasanna
EPK
2006
114views Management» more  EPK 2006»
13 years 10 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
NAR
2010
174views more  NAR 2010»
13 years 3 months ago
BeetleBase in 2010: revisions to provide comprehensive genomic information for Tribolium castaneum
BeetleBase (http://www.beetlebase.org) has been updated to provide more comprehensive genomic information for the red flour beetle Tribolium castaneum. The database contains genom...
Hee Shin Kim, Terence Murphy, Jing Xia, Doina Cara...
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
14 years 11 days ago
The hybrid intelligent control for the fused magnesia production
—The electro-fused magnesia furnace is one of the main equipments used to produce electro-fused magnesia which is high performance refractory. Due to the multivariable, strong no...
Yongjian Wu, Zhiwei Wu, Bin Dong, Li Zhang, Tianyo...