9698 search results - page 1811 / 1940 » models 2010 |
202
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Modern scientific collaborations have opened up the opportunity of solving complex problems that involve multidisciplinary expertise and large-scale computational experiments. The...
172
Voted
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
165
click to vote
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Researchers have detailed the importance of routines in how people live and work, while also cautioning system designers about the importance of people's idiosyncratic behavi...
176
click to vote
AAAI
2010
15 years 6 months ago
2010
Developing a robust, flexible, closed-loop walking algorithm for a humanoid robot is a challenging task due to the complex dynamics of the general biped walk. Common analytical ap...
180
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
Energy consumption and the associated environmental impact are a pressing challenge faced by the transportation sector. Emerging electric-drive vehicles have shown promises for su...