2139 search results - page 48 / 428 » Connecting language to the world |
IJCAI
2001
14 years 11 months ago
2001
A new, general approach is described for approximate inference in first-order probabilistic languages, using Markov chain Monte Carlo (MCMC) techniques in the space of concrete po...
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Information is traditionally confined to paper or digitally to a screen. In this paper, we introduce WUW, a wearable gestural interface, which attempts to bring information out in...
RTSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
AISC
2010
Springer
15 years 3 months ago
2010
Springer
Mathematical notations around the world are diverse. Not as much as requiring computing machines’ makers to adapt to each culture, but as much as to disorient a person landing on...