3515 search results - page 544 / 703 » On the semantics of Strategy Logic |
168
click to vote
DNA
2005
Springer
16 years 24 days ago
2005
Springer
We introduce a class of generalized DNF formulae called wDNF or weighted disjunctive normal form, and present a molecular algorithm that learns a wDNF formula from training example...
202
click to vote
EMSOFT
2005
Springer
16 years 24 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
180
click to vote
FOSSACS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
188
click to vote
IFL
2005
Springer
16 years 23 days ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
183
click to vote
SEMWEB
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...