343 search results - page 54 / 69 » A Foundation for Hybrid Knowledge Bases |
ER
2009
Springer
13 years 5 months ago
2009
Springer
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...
WSC
2008
13 years 10 months ago
2008
The design of complex artificial populations is the first step in simulating evolution during the time span of socioeconomic variables as the family income. In this paper, a new h...
EOR
2007
13 years 7 months ago
2007
act 12 This paper describes a new placement method based on pattern matching for 2D tiling problems. Tiling problem can be 13 considered as a special case of bin packing. In the pr...
NDSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To address this limitation, a number of solutions have rec...
BIRTHDAY
2010
Springer
14 years 12 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...