2509 search results - page 323 / 502 » Abstract Geometrical Computation and Computable Analysis |
155
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
142
click to vote
CHI
2009
ACM
16 years 29 days ago
2009
ACM
Abstract: Best Practices in Longitudinal Research This workshop will identify best practices for longitudinal research through an in-depth exploration of methods and metrics for c...
IPPS
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract—This paper presents a capture of the queries managed by an eDonkey server during almost 10 weeks, leading to the observation of almost 9 billion messages involving almos...
156
click to vote
IROS
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract— Optimal motions are usually used as joint reference trajectories for repetitive or complex motions. In the case of soccer robots, the kicking motion is usually a benchm...
199
click to vote
SG
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...