2715 search results - page 370 / 543 » An Implementation of Narrowing Strategies |
144
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
171
click to vote
MICCAI
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. A stochastic finite element method (SFEM) based framework is proposed for the simultaneous estimation of cardiac kinematics functions and material model parameters. While...
164
click to vote
ICML
1998
IEEE
16 years 6 months ago
1998
IEEE
We study the problem of learning to accurately rank a set of objects by combining a given collection of ranking or preference functions. This problem of combining preferences aris...
132
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Web service development and usage has shifted from simple information processing services to high-value business services that are crucial to productivity and success. In order to...
139
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety...