10870 search results - page 2046 / 2174 » Model Checking Programs |
85
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In many real-world scenarios, it is nearly impossible to collect explicit social network data. In such cases, whole networks must be inferred from underlying observations. Here, w...
130
click to vote
ENTCS
2008
15 years 1 months ago
2008
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
111
click to vote
CAD
2006
Springer
15 years 1 months ago
2006
Springer
Seamless integration of digital parts libraries or electronic parts catalogs for e-procurement is impeded by semantic heterogeneity. The utilization of ontologies as metadata desc...
115
click to vote
COR
2006
15 years 1 months ago
2006
This paper presents an extension of the capacitated facility location problem (CFLP), in which the general setup cost functions and multiple facilities in one site are considered....
124
click to vote
EAAI
2006
15 years 1 months ago
2006
This paper presents a feasibility study of evolutionary scheduling for gas pipeline operations. The problem is complex because of several constraints that must be taken into consi...