Sciweavers

3616 search results - page 237 / 724
» Conditional Memory Ordering
Sort
View
IEEEICCI
2009
IEEE
15 years 4 months ago
Cognitive synergy: A universal principle for feasible general intelligence
Do there exist general principles, which any system must obey in order to achieve advanced general intelligence using feasible computational resources? Here we propose one candida...
Ben Goertzel
ICDT
2009
ACM
125views Database» more  ICDT 2009»
16 years 7 months ago
How big must complete XML query languages be?
Marx and de Rijke have shown that the navigational core of the w3c XML query language XPath is not first-order complete ? that is it cannot express every query definable in firsto...
Clemens Ley, Michael Benedikt
SIAMMA
2010
90views more  SIAMMA 2010»
15 years 1 months ago
A General Proximity Analysis of Nonlinear Subdivision Schemes
In recent work nonlinear subdivision schemes which operate on manifold-valued data have been successfully analyzed with the aid of so-called proximity conditions bounding the diffe...
Philipp Grohs
DAC
2001
ACM
16 years 7 months ago
Coupling-Driven Bus Design for Low-Power Application-Specific Systems
In modern embedded systems including communication and multimedia applications, large fraction of power is consumed during memory access and data transfer. Thus, buses should be d...
Youngsoo Shin, Takayasu Sakurai
140
Voted
FOSSACS
2009
Springer
16 years 1 months ago
Separating Graph Logic from MSO
Abstract. Graph logic (GL) is a spatial logic for querying graphs introduced by Cardelli et al. It has been observed that in terms of expressive power, this logic is a fragment of ...
Timos Antonopoulos, Anuj Dawar