1368 search results - page 155 / 274 » Recursive modules for programming |
180
click to vote
LPNMR
2009
Springer
16 years 28 days 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...
192
click to vote
CCS
2001
ACM
15 years 11 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...
188
click to vote
KRDB
2003
15 years 7 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...
150
click to vote
ICIP
2006
IEEE
16 years 8 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...
169
click to vote
ICPR
2006
IEEE
16 years 7 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...