12774 search results - page 2258 / 2555 » A Framework for Proof Systems |
211
click to vote
DEXA
2004
Springer
16 years 5 days ago
2004
Springer
: In this paper, we propose a framework, called XAR-Miner, for mining ARs from XML documents efficiently and effectively. In XAR-Miner, raw XML data are first transformed to either...
168
click to vote
ECCV
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents a new approach in the application of computer vision techniques to the diagnosis of solid breast tumors on ultrasound images. Most works related to medical imag...
198
click to vote
ESAW
2004
Springer
16 years 4 days ago
2004
Springer
Corporate knowledge consists both of information that is available throughout a company and of information technology frameworks and paradigms. Considering an enterprise as a distr...
214
click to vote
FASE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
213
click to vote
FOIKS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We give a general framework for approximate query processing in semistructured databases. We focus on regular path queries, which are the integral part of most of the que...