5251 search results - page 356 / 1051 » A Framework for Ontology Integration |
201
click to vote
AHS
2006
IEEE
16 years 1 months ago
2006
IEEE
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...
194
click to vote
CCGRID
2006
IEEE
16 years 1 months ago
2006
IEEE
Simulation and optimization of complex mechanical and electronical systems is a very time consuming and computationally intensive task. Therefore, metamodeling techniques are ofte...
219
click to vote
VL
2005
IEEE
16 years 1 months ago
2005
IEEE
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...
182
click to vote
OTM
2005
Springer
16 years 1 months ago
2005
Springer
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...
194
click to vote
FMCAD
2004
Springer
16 years 1 months ago
2004
Springer
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...