6045 search results - page 957 / 1209 » Computable Linearizations of Well-partial-orderings |
157
click to vote
STACS
1989
Springer
15 years 10 months ago
1989
Springer
A sequence is said to be k-automatic if the nth term of this sequence is generated by a finite state machine with n in base k as input. Regular sequences were first defined by ...
192
click to vote
SIGGRAPH
1990
ACM
15 years 10 months ago
1990
ACM
We describe a fast method for creating physically based animation of non-rigid objects. Rapid simulation of nonrigid behavior is based on global deformations. Constraints are used...
162
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
This paper deals with pipelined queries over services. The execution plan of such queries defines an order in which the services are called. We present the theoretical underpinni...
165
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a novel calibration method for datagloves with many degrees of freedom 1 . The goal of our method is to establish a mapping from the sensor values of the glove...
176
click to vote
CMSB
2004
Springer
15 years 10 months ago
2004
Springer
We propose a robust estimation method of gene networks based on microarray gene expression data. It is well-known that microarray data contain a large amount of noise and some outl...