6960 search results - page 1294 / 1392 » Continuity Analysis of Programs |
153
click to vote
JELIA
2010
Springer
15 years 28 days ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
130
click to vote
SIGSOFT
2010
ACM
15 years 27 days ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
147
click to vote
ICCV
2009
IEEE
15 years 24 days ago
2009
IEEE
This paper examines the problem of moving object detection. More precisely, it addresses the difficult scenarios where background scene textures in the video might change over tim...
153
click to vote
ICOODB
2009
15 years 23 days ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
105
click to vote
ICWSM
2009
15 years 23 days ago
2009
Social sites are extremely popular among users but user interactions in most sites revolve around relatively simple tasks, such as uploading resources, tagging and poking friends....