Sciweavers

3983 search results - page 668 / 797
» Conceptual logic programs
Sort
View
ISVLSI
2006
IEEE
95views VLSI» more  ISVLSI 2006»
14 years 3 months ago
PLAs in Quantum-dot Cellular Automata
Abstract— Research in the fields of physics, chemistry and electronics has demonstrated that Quantum-dot Cellular Automata (QCA) is a viable alternative for nano-scale computing...
Xiaobo Sharon Hu, Michael Crocker, Michael T. Niem...
ASPDAC
2006
ACM
93views Hardware» more  ASPDAC 2006»
14 years 3 months ago
Open access overview "industrial experience"
- Renesas Technology Corp. designers turned to OpenAccess to address the major design challenges with systems on chip for the automotive, wireless, digital consumer and industrial ...
Yoshio Inoue
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
14 years 2 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
AVSS
2005
IEEE
14 years 2 months ago
VidMAP: video monitoring of activity with Prolog
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
Vinay D. Shet, David Harwood, Larry S. Davis
ENC
2005
IEEE
14 years 2 months ago
SKIMA: Semantic Knowledge and Information Management
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
Héctor Pérez-Urbina, Gennaro Bruno, ...