4666 search results - page 252 / 934 » Equations on Timed Languages |
170
click to vote
CSB
2003
IEEE
15 years 12 months ago
2003
IEEE
We have developed a novel algorithm for protein backbone structure determination using global orientational restraints on internuclear bond vectors derived from residual dipolar c...
184
click to vote
ICICS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In electronic commerce, traded digital objects are likely associated with several numerical values as well as their prices. These values may change unpredictably over tim...
159
click to vote
ISIPTA
1999
IEEE
15 years 11 months ago
1999
IEEE
A solution is provided to the problem of computing a convex set of conditional probability distributions that characterize the state of a nonlinear dynamic system as it evolves in...
160
click to vote
ADG
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
149
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
A virtual 3-D extractor of the single dielectric is presented in this paper. In the indirect boundary integral equations, the plane charge distribution on the surface of conductors...