1438 search results - page 103 / 288 » An Expressive Extension of TLC |
ECTEL
2007
Springer
15 years 7 months ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
86
Voted
SCALESPACE
2007
Springer
15 years 7 months ago
2007
Springer
This paper proposes an extension of compressed sensing that allows to express the sparsity prior in a dictionary of bases. This enables the use of the random sampling strategy of c...
100
Voted
TYPES
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
95
Voted
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
103
Voted
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...