77016 search results - page 391 / 15404 » Modeling |
133
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
A transferable quality model must be general. This implies that only the high level characteristics can be transferred into different settings and that the refinement of the charac...
113
click to vote
GLVLSI
2002
IEEE
15 years 10 months ago
2002
IEEE
— The high-order compact finite difference (HCFD) method is adapted for interconnect modeling. Based on the compact finite difference method, the HCFD method employs the Chebys...
144
click to vote
KBSE
2002
IEEE
15 years 10 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
130
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
We systematically compare five representative state-of-theart methods for estimating query language models with pseudo feedback in ad hoc information retrieval, including two var...
131
click to vote
ICMT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...