12774 search results - page 343 / 2555 » A Framework for Proof Systems |
156
Voted
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Addressed in this paper is the problem of conceptual heterogeneity within the field of information systems. Two frameworks, Frisco and S¨oderstr¨om, each reflecting t...
168
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
A generic and extendible Multi-Agent Data Mining (MADM) framework, EMADS (the Extendible Multi-Agent Data mining System) is described. The central feature of the framework is that ...
161
click to vote
ATS
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or...
129
click to vote
MICCAI
2009
Springer
16 years 8 months ago
2009
Springer
Constructing a one to one correspondence between whole brain MR image scans is a problem of critical importance in neuroimaging analyses. We present a framework to combine the stre...
168
click to vote
LCN
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper presents a framework to address the combination of ubiquitous computing interests as an Intelligent Assisting Location-Aware Service and development of its hardware a...