4586 search results - page 673 / 918 » Computing stable models in parallel |
148
Voted
FCT
1999
Springer
15 years 8 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
138
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...
147
click to vote
NAACL
2010
15 years 2 months ago
2010
Syntactic machine translation systems extract rules from bilingual, word-aligned, syntactically parsed text, but current systems for parsing and word alignment are at best cascade...
168
Voted
PR
2011
14 years 7 months ago
2011
This paper aims to address the problem of anomaly detection and discrimination in complex behaviours, where anomalies are subtle and difficult to detect owing to the complex tempo...
125
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper a novel implementation of the saliency map model on a multi-GPU platform using CUDA technology is presented. The saliency map model is a wellknown computational m...