210 search results - page 26 / 42 » Presenting Functors by Operations and Equations |
125
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Tracking the Left Ventricle (LV) in ultrasound sequences remains a challenge due to speckle noise, low SNR and lack of contrast. Therefore, it is usually difficult to obt...
125
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
133
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—This paper describes a robust and accurate blackbox macromodeling technique, in which the constitutive equations combine both closed-form delay operators and low-order r...
127
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...