4814 search results - page 386 / 963 » Combining abstract interpreters |
187
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
164
click to vote
ICSEA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
160
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— We present an adaptive control approach combining forward kinematics model learning methods with the operational space control approach. This combination endows the rob...
189
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we describe a novel approach to tackle intention recognition, by combining dynamically configurable and situation-sensitive Causal Bayes Networks plus pla...
189
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper proposes exploiting both explicit and mined metadata for enriching Web searching with exploration services. On-line results clustering is useful for providing ...