Sciweavers

9166 search results - page 1627 / 1834
» A framework for comparing models of computation
Sort
View
DKE
1999
118views more  DKE 1999»
15 years 6 months ago
Designing Data Warehouses
A Data Warehouse DW is a database that collects and stores data from multiple remote and heterogeneous information sources. When a query is posed, it is evaluated locally, without...
Dimitri Theodoratos, Timos K. Sellis
STTT
1998
130views more  STTT 1998»
15 years 6 months ago
The Practitioner's Guide to Coloured Petri Nets
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
Lars Michael Kristensen, Søren Christensen,...
MR
2007
92views Robotics» more  MR 2007»
15 years 6 months ago
Feature extraction and damage-precursors for prognostication of lead-free electronics
Damage pre-cursors based health management and prognostication methodology has been presented for electronic systems in harsh environments. The framework has been developed based ...
Pradeep Lall, Madhura Hande, Chandan Bhat, Nokibul...
PAMI
2007
193views more  PAMI 2007»
15 years 6 months ago
Robust Object Recognition with Cortex-Like Mechanisms
—We introduce a new general framework for the recognition of complex visual scenes, which is motivated by biology: We describe a hierarchical system that closely follows the orga...
Thomas Serre, Lior Wolf, Stanley M. Bileschi, Maxi...
PVLDB
2008
108views more  PVLDB 2008»
15 years 6 months ago
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
Haichuan Shang, Ying Zhang, Xuemin Lin, Jeffrey Xu...
« Prev « First page 1627 / 1834 Last » Next »