1438 search results - page 66 / 288 » An Expressive Extension of TLC |
187
click to vote
DAGSTUHL
2003
15 years 7 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...
146
click to vote
TOSEM
2002
15 years 5 months 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...
123
click to vote
ICASSP
2011
IEEE
14 years 10 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...
197
click to vote
ECAI
2010
Springer
15 years 7 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...
150
click to vote
KI
2004
Springer
15 years 11 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...