3973 search results - page 380 / 795 » Records for Logic Programming |
220
click to vote
CONCUR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
144
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Our research is driven by the motivation that change must be put in the center, if one wants to understand the complex processes of software evolution. We built a toolset named Sp...
288
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
We consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate explorat...
137
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
The subtitling of broadcast news programs are starting to become a very interesting application due to the technological advances in Automatic Speech Recognition and associated te...
149
click to vote
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
A robust learning-based TV commercial detection approach is proposed in this paper. Firstly a set of basic features that facilitate distinguishing commercials from general program...