2291 search results - page 397 / 459 » Logic Programming and Model Checking |
129
click to vote
FLOPS
2004
Springer
15 years 7 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
97
Voted
PVM
2004
Springer
15 years 7 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
108
Voted
AINA
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
114
Voted
ECML
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Greedy machine learning algorithms suffer from shortsightedness, potentially returning suboptimal models due to limited exploration of the search space. Greedy search mis...
117
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...