3145 search results - page 383 / 629 » Algebraic Linear Orderings |
180
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
139
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper studies the dissipativity properties of full order dynamic models of synchronous generators. It is shown that, under widely accepted assumptions, these models satisf...
149
click to vote
ICASSP
2007
IEEE
16 years 26 days ago
2007
IEEE
We propose a multi-target tracking algorithm based on the Probability Hypothesis Density (PHD) filter and data association using graph matching. The PHD filter is used to compen...
137
click to vote
ECSQARU
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The problem of averaging outcomes under several scenarios to form overall objective functions is of considerable importance in decision support under uncertainty. The fuz...
169
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper addresses the problem of solving conflicts in railway traffic that arise due to disturbances. It is formulated as a problem of re-scheduling meets and overtakes of trai...