1564 search results - page 67 / 313 » Extensions to the Estimation Calculus |
152
click to vote
GI
2009
Springer
15 years 3 months ago
2009
Springer
: The task of tracking extended objects or (partly) unresolvable group targets raises new challenges for both data association and track maintenance. Due to limited sensor resoluti...
127
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
160
Voted
CMSB
2009
Springer
15 years 12 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
166
Voted
FROCOS
2009
Springer
15 years 12 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
156
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...