Sciweavers

5251 search results - page 356 / 1051
» A Framework for Ontology Integration
Sort
View
AHS
2006
IEEE
161views Hardware» more  AHS 2006»
16 years 28 days ago
A Self-Tuning Analog Proportional-Integral-Derivative (PID) Controller
We present a framework for a low power self-tuning analog proportional-integral-derivative controller. By using a model-free tuning method, it overcomes problems associated with r...
Varun Aggarwal, Meng Mao, Una-May O'Reilly
CCGRID
2006
IEEE
16 years 27 days ago
Integrating Gridcomputing and Metamodeling
Simulation and optimization of complex mechanical and electronical systems is a very time consuming and computationally intensive task. Therefore, metamodeling techniques are ofte...
Dirk Gorissen, Wouter Hendrickx, Karel Crombecq, T...
VL
2005
IEEE
135views Visual Languages» more  VL 2005»
16 years 12 days ago
HyperFlow: An Integrated Visual Query and Dataflow Language for End-User Information Analysis
We present HyperFlow, a novel visual language for information analysis that combines features from visual dataflow and visual query languages into a unified framework. HyperFlow i...
Dolev Dotan, Ron Y. Pinter
OTM
2005
Springer
16 years 10 days ago
Integrating the ROMIOP and ETF Specifications for Atomic Multicast in CORBA
OMG published a draft specification for a reliable ordered multicast inter-ORB protocol to be used by distributed applications developed in CORBA (ROMIOP). This specification was m...
Daniel Borusch, Lau Cheuk Lung, Alysson Neves Bess...
FMCAD
2004
Springer
16 years 7 days ago
Integrating Reasoning About Ordinal Arithmetic into ACL2
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
Panagiotis Manolios, Daron Vroon