1102 search results - page 82 / 221 » Generalizing Updates: From Models to Programs |
169
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
149
click to vote
CSL
2007
Springer
16 years 11 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
146
click to vote
RTSS
2006
IEEE
16 years 6 days ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
168
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
In many applications of graphical models arising in computer vision, the hidden variables of interest are most naturally specified by continuous, non-Gaussian distributions. There...
276
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- Many applications are driven by evolving data -patterns in web traffic, program execution traces, network event logs, etc., are often non-stationary. Building prediction...