8874 search results - page 186 / 1775 » A New Implementation of Automath |
148
click to vote
EH
2005
IEEE
15 years 10 months ago
2005
IEEE
After a reminder about embryonic machines endowed with universal construction and universal computation properties, this paper presents a novel architecture providing additional s...
181
click to vote
WOA
2010
15 years 2 months ago
2010
Current technologies permit people to make use of various systems able to fulfill most of their needs while being at home. However, their use is often not intuitive and they are al...
132
click to vote
HCI
2009
15 years 2 months ago
2009
Abstract. We present a new approach to the design, development and evaluation of embodied conversational agents (ECAs) that allows them to index identity through culturally and soc...
148
click to vote
ICWS
2009
IEEE
15 years 2 months ago
2009
IEEE
Traditionally, the composition of Web services to create mashups has been achieved by using an application server as a mediator between a client browser and services. To avoid thi...
140
click to vote
TVCG
2011
14 years 11 months ago
2011
—Centroidal Voronoi tessellations (CVT) are widely used in computational science and engineering. The most commonly used method is Lloyd’s method, and recently the L-BFGS metho...