5482 search results - page 851 / 1097 » Logic Programming and Databases |
181
click to vote
TLCA
2007
Springer
16 years 20 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
136
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
155
click to vote
ISVLSI
2006
IEEE
16 years 18 days ago
2006
IEEE
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...
164
click to vote
ACSD
2005
IEEE
16 years 6 days ago
2005
IEEE
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...
171
click to vote
AVSS
2005
IEEE
16 years 6 days ago
2005
IEEE
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...