2492 search results - page 354 / 499 » An Integrated Rule Modeling Framework |
257
click to vote
PLPV
2011
ACM
14 years 9 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
270
click to vote
ICDE
1997
IEEE
16 years 7 months ago
1997
IEEE
In recent years, research about distributing databases over networks has become increasingly important. Here we concentrate on the issues of interoperability of heterogeneous DBMS...
148
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
In real-world machine learning problems, it is very common that part of the input feature vector is incomplete: either not available, missing, or corrupted. In this paper, we pres...
151
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
A recurring manual task in data integration, ontology alignment or model management is finding mappings between complex meta data structures. In order to reduce the manual effor...
156
click to vote
AAIM
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Pricing arithmetic average options continues to intrigue researchers in the field of financial engineering. Since there is no analytical solution for this problem until...