12194 search results - page 323 / 2439 » cans 2010 |
164
click to vote
ER
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We investigate the computational complexity of reasoning over temporal extensions of conceptual data models. The temporal conceptual models we analyse include the standar...
174
click to vote
MIG
2010
Springer
15 years 5 months ago
2010
Springer
This paper explores the many uses of angular momentum regulation and its role in the synthesis of coordinated motion generated with physically based characters. Previous investigat...
169
click to vote
SIAMDM
2010
15 years 5 months ago
2010
This paper is concerned with the minimum distance computation for higher dimensional toric codes defined by lattice polytopes in Rn . We show that the minimum distance is multipli...
154
click to vote
ECEASST
2010
15 years 1 months ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...
229
click to vote
COMPIMAGE
2010
Springer
16 years 1 months ago
2010
Springer
Functional magnetic resonance imaging (fMRI) has become an exceedingly popular technique for studies of human brain activity. Typically, fMRI is performed with >3-mm sampling, s...