1368 search results - page 155 / 274 » Recursive modules for programming |
LPNMR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
CCS
2001
ACM
14 years 1 months ago
2001
ACM
Abstract. Protection of software code against illegitimate modifications by its users is a pressing issue to many software developers. Many software-based mechanisms for protectin...
KRDB
2003
13 years 10 months ago
2003
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
We present a system for automatic hot spots detection and segmentation in whole body FDG-PET images. The main contribution of our system is threefold. First, it has a novel body-s...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
A novel background generation method based on nonparametric background model is presented for background subtraction. We introduce a new model, named as effect components descript...