7456 search results - page 1141 / 1492 » Parallelism in Logic Programming |
152
click to vote
ASPDAC
2006
ACM
16 years 20 days ago
2006
ACM
- 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 ...
166
click to vote
ACSD
2005
IEEE
16 years 9 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...
174
click to vote
AVSS
2005
IEEE
16 years 9 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...
149
click to vote
ENC
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
170
click to vote
RTA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...