Sciweavers

4767 search results - page 857 / 954
» Structures for Abstract Rewriting
Sort
View
JODL
2007
109views more  JODL 2007»
13 years 10 months ago
Examining topic shifts in content-oriented XML retrieval
Abstract. Content-oriented XML retrieval systems support access to XML repositories by retrieving, in response to user queries, XML document components (XML elements) instead of wh...
Elham Ashoori, Mounia Lalmas, Theodora Tsikrika
AAMAS
2004
Springer
13 years 10 months ago
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
Mark d'Inverno, Michael Luck, Michael P. Georgeff,...
TVLSI
2008
110views more  TVLSI 2008»
13 years 10 months ago
Thermal Switching Error Versus Delay Tradeoffs in Clocked QCA Circuits
Abstract--The quantum-dot cellular automata (QCA) model offers a novel nano-domain computing architecture by mapping the intended logic onto the lowest energy configuration of a co...
Sanjukta Bhanja, Sudeep Sarkar
BC
2004
86views more  BC 2004»
13 years 9 months ago
Is sparse and distributed the coding goal of simple cells?
Abstract. The question of why the receptive fields of simple cells in the primary visual cortex are Gabor-like is a crucial one in vision research. Many research efforts (Olshausen...
Li Zhao
CORR
2004
Springer
100views Education» more  CORR 2004»
13 years 9 months ago
On Spatial Conjunction as Second-Order Logic
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
Viktor Kuncak, Martin C. Rinard