Sciweavers

2813 search results - page 28 / 563
» Formalizing Architectural Connection
Sort
View
ICDE
1994
IEEE
103views Database» more  ICDE 1994»
14 years 1 months ago
A Multi-Set Extended Relational Algebra - A Formal Approach to a Practical Issue
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
Paul W. P. J. Grefen, Rolf A. de By
ICANN
2009
Springer
14 years 4 months ago
Connectionist Models for Formal Knowledge Adaptation
Abstract. Both symbolic knowledge representation systems and artificial neural networks play a significant role in Artificial Intelligence. A recent trend in the field aims at ...
Ilianna Kollia, Nikos Simou, Giorgos B. Stamou, An...
ORL
2000
62views more  ORL 2000»
13 years 9 months ago
Projected dynamical systems in a complementarity formalism
Projected dynamical systems have been introduced by Dupuis and Nagurney as dynamic extensions of variational inequalities. In the systems and control literature, complementarity s...
W. P. M. H. Heemels, J. M. Schumacher, Siep Weilan...
FCCM
2005
IEEE
93views VLSI» more  FCCM 2005»
14 years 3 months ago
Register File Architecture Optimization in a Coarse-Grained Reconfigurable Architecture
This paper investigates the impact of the local and global register file architecture on a reconfigurable system based on the ADRES architecture [3]. The register files consume a s...
Zion Kwok, Steven J. E. Wilton
IPPS
1998
IEEE
14 years 1 months ago
Capturing the Connectivity of High-Dimensional Geometric Spaces by Parallelizable Random Sampling Techniques
Abstract. Finding paths in high-dimensional gemetric spaces is a provably hard problem. Recently, a general randomized planning scheme has emerged as an e ective approach to solve ...
David Hsu, Lydia E. Kavraki, Jean-Claude Latombe, ...