5482 search results - page 546 / 1097 » Logic Programming and Databases |
189
click to vote
ENTCS
2007
15 years 7 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
190
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
205
click to vote
FGR
2006
IEEE
16 years 1 months ago
2006
IEEE
Robust face detection presents a difficult problem in real interaction scenarios, that, in order to achieve, most often requires employing additional sources of information. In t...
191
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
197
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...