Sciweavers

9719 search results - page 521 / 1944
» Inference for Multiplicative Models
Sort
View
DIS
2007
Springer
16 years 12 days ago
A Consequence Finding Approach for Full Clausal Abduction
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
Oliver Ray, Katsumi Inoue
SEMWEB
2007
Springer
16 years 10 days ago
Probabilistic Geospatial Ontologies
Partial knowledge about geospatial categories is critical for knowledge modelling in the geospatial domain but is beyond the scope of conventional ontologies. Degree of overlaps be...
Sumit Sen
145
Voted
ADBIS
2005
Springer
112views Database» more  ADBIS 2005»
15 years 11 months ago
Non-destructive Integration of Form-Based Views
Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole...
Jan Hidders, Jan Paredaens, Philippe Thiran, Geert...
APLAS
2004
ACM
15 years 11 months ago
PType System: A Featherweight Parallelizability Detector
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
DATE
2003
IEEE
94views Hardware» more  DATE 2003»
15 years 11 months ago
SystemC-AMS Requirements, Design Objectives and Rationale
SystemC is emerging as a de-facto standard for system design but it still lacks support for continuous-time models of computation and multi-domain systems. This becomes an issue a...
Alain Vachoux, Christoph Grimm, Karsten Einwich