3984 search results - page 183 / 797 » A Model-Driven Transformation Method |
132
click to vote
KCAP
2003
ACM
15 years 9 months ago
2003
ACM
Many AI tasks require determining whether two knowledge representations encode the same knowledge. Solving this matching problem is hard because representations may encode the sam...
175
click to vote
ISHPC
2003
Springer
15 years 9 months ago
2003
Springer
Simultaneous multithreaded processors use shared on-chip caches, which yield better cost-performance ratios. Sharing a cache between simultaneously executing threads causes excessi...
138
click to vote
ASAP
2010
IEEE
15 years 5 months ago
2010
IEEE
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...
128
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
149
click to vote
BC
2005
15 years 4 months ago
2005
For reaching to and grasping of an object, visual information about the object must be transformed into motor or postural commands for the arm and hand. In this paper, we present a...