536 search results - page 65 / 108 » A computer verified, monadic, functional implementation of t... |
APLAS
2000
ACM
15 years 4 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
132
click to vote
BMCBI
2006
14 years 12 months ago
2006
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...
100
click to vote
ACSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
Uncorrupted log files are the critical system component for computer forensics in case of intrusion and for real time system monitoring and auditing. Protection from tampering wit...
TMM
2008
14 years 11 months ago
2008
Abstract--Traditional video servers partially cope with heterogeneous client populations by maintaining a few versions of the same stream with different bit rates. More recent vide...
CVIU
2007
14 years 11 months ago
2007
We address visual perception for personal service robotic systems in the home. We start by identifying the main functional modules and their relationships. This includes self-loca...