6274 search results - page 801 / 1255 » Proofs, Programs, Processes |
183
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We consider equation systems of the form X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where f1, . . . , fn are polynomials with positive real coefficients. In vector fo...
190
click to vote
ENTCS
2008
15 years 7 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
160
click to vote
TOG
2008
15 years 6 months ago
2008
We propose a data-driven approach to automatically generate a scene where tens to hundreds of characters densely interact with each other. During off-line processing, the close in...
136
click to vote
CMPB
2002
15 years 6 months ago
2002
Bivariate linear mixed models are useful when analyzing longitudinal data of two associated markers. In this paper, we present a bivariate linear mixed model including random effe...
193
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...