1638 search results - page 183 / 328 » Properties of input-consuming derivations |
161
click to vote
FOSSACS
2007
Springer
16 years 21 days ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
153
click to vote
IROS
2006
IEEE
16 years 16 days ago
2006
IEEE
— This paper discusses the whole arm manipulation allowing the contact state transition. For manipulation of an object under fully constrained, the contact state transition becom...
182
click to vote
ICMCS
2005
IEEE
16 years 3 days ago
2005
IEEE
Principal Component Analysis (PCA) has been widely used to extract features for pattern recognition problems such as object recognition. Oliva and Torralba used “spatial envelop...
163
click to vote
WORDS
2005
IEEE
16 years 3 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
174
click to vote
IDEAL
2005
Springer
16 years 1 days ago
2005
Springer
The elastic net and related algorithms, such as generative topographic mapping, are key methods for discretized dimension-reduction problems. At their heart are priors that specify...