7075 search results - page 139 / 1415 » Models and heterogeneous reasoning |
129
Voted
ICLP
2001
Springer
15 years 8 months ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
117
click to vote
AUSAI
1997
Springer
15 years 8 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
120
click to vote
ARC
2009
Springer
15 years 10 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
129
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Heteregenous multiprocessor SoCs are becoming a reality, largely due to the abundance of transistors, intellectual property cores and powerful design tools. In this project, we ex...
134
Voted
BPM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...