1293 search results - page 134 / 259 » An Information Integration Framework for E-Commerce |
188
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
149
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We present a new framework in which image segmentation, figure/ground organization, and object detection all appear as the result of solving a single grouping problem. This frame...
209
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
148
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
The problem of integrating relevant information obtained from multiple heterogeneous sources is a complex task, with which biologists are now faced. In this paper, we address the p...
212
click to vote
WER
2004
Springer
15 years 12 months ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requir...