Sciweavers

676 search results - page 122 / 136
» A model and architecture for situation determination
Sort
View
CONCURRENCY
2010
127views more  CONCURRENCY 2010»
13 years 7 months ago
Extreme scalability challenges in micro-finite element simulations of human bone
Coupling recent imaging capabilities with microstructural finite element (microFE) analysis offers a powerful tool to determine bone stiffness and strength. It shows high potentia...
Constantine Bekas, Alessandro Curioni, Peter Arben...
JODS
2008
123views Data Mining» more  JODS 2008»
13 years 7 months ago
The Harmony Integration Workbench
A key aspect of any data integration endeavor is determining the relationships between the source schemata and the target schema. This schema integration task must be tackled regar...
Peter Mork, Len Seligman, Arnon Rosenthal, Joel Ko...
BC
2002
85views more  BC 2002»
13 years 7 months ago
Invariant recognition of feature combinations in the visual system
The operation of a hierarchical competitive network model (VisNet) of invariance learning in the visual system is investigated to determine how this class of architecture can solve...
Martin C. M. Elliffe, Edmund T. Rolls, Simon M. St...
HCSE
2010
13 years 5 months ago
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
José Luís Silva, Óscar R. Rib...
DAC
2001
ACM
14 years 8 months ago
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukul...