1438 search results - page 66 / 288 » An Expressive Extension of TLC |
112
click to vote
DAGSTUHL
2003
15 years 2 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...
88
Voted
TOSEM
2002
15 years 9 days ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
68
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The Probability Hypothesis Density (PHD) is a well-known method for single-sensor multi-target tracking problems in a Bayesian framework, but the extension to the multi-sensor cas...
122
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Until recently, computational aspects of the Shapley value were only studied under the assumption that there are no externalities from coalition formation, i.e., that the...
96
Voted
KI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...