5838 search results - page 792 / 1168 » A File System for System Programming in Ubiquitous Computing |
242
click to vote
CONPAR
1994
15 years 10 months ago
1994
The Rewrite Rule Machine (RRM) is a massively parallel MIMD/SIMD computer designed with the explicit purpose of supporting veryhigh-level parallel programming with rewrite rules. T...
143
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
192
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
166
click to vote
AVSS
2005
IEEE
15 years 12 months 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...
204
click to vote
ISICT
2004
15 years 7 months ago
2004
The IPACS-project (Integrated Performance Analysis of Computer Systems) was founded by the Federal Department of Education, Science, Research and Technology (BMBF) in the program ...