513 search results - page 75 / 103 » Finitely Based, Finite Sets of Words |
168
click to vote
ICAT
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a new real-time method that can animate a moving elastic object that could collide with other objects in a virtual environment. For simulating physical motions of elast...
173
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
146
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Interorganizational cooperation is more and more organized by the paradigm of services. Service-oriented architectures (SOA) provide a general framework for service interaction. SO...
188
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Fitting data by a bounded complexity linear model is equivalent to low-rank approximation of a matrix constructed from the data. The data matrix being Hankel structured is equival...
145
click to vote
CSDA
2010
15 years 6 months ago
2010
Confirmatory factor analysis (CFA) is a data anylsis procedure that is widely used in social and behavioral sciences in general and other applied sciences that deal with large qua...