1128 search results - page 163 / 226 » Little Engines of Proof |
116
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
ICS
2010
Tsinghua U.
15 years 5 months ago
2010
Tsinghua U.
We explore the intersection between an emerging class of architectures and a prominent workload: GPGPUs (General-Purpose Graphics Processing Units) and regular expression matching...
IFIP
2010
Springer
15 years 5 months ago
2010
Springer
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
100
click to vote
ICRA
2000
IEEE
15 years 5 months ago
2000
IEEE
The need to register data is abundant in applications such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reve...
84
Voted
ACMDIS
2000
ACM
15 years 5 months ago
2000
ACM
A central challenge in interaction design has to do with its diversity. Designers, engineers, managers, marketers, researchers and users all have important contributions to make t...