9931 search results - page 1567 / 1987 » Generative Modeling by PRISM |
215
click to vote
PLDI
1997
ACM
15 years 11 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
262
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
188
click to vote
WSC
2007
15 years 9 months ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
172
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
We introduce a unified graph representation of the Web, which includes both structural and usage information. We model this graph using a simple union of the Web's hyperlink ...
176
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Abstract. In this chapter, we present a new interactive procedure for multiobjective optimization, which is based on the use of a set of value functions as a preference model built...