8874 search results - page 348 / 1775 » A New Implementation of Automath |
175
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
— We propose an automatic test pattern generation (ATPG) framework for combinational threshold networks. The motivation behind this work lies in the fact that many emerging nanot...
168
click to vote
ISPASS
2010
IEEE
16 years 1 months ago
2010
IEEE
—Hadoop is a popular open-source implementation of MapReduce for the analysis of large datasets. To manage storage resources across the cluster, Hadoop uses a distributed user-le...
183
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
—Reading gaze direction is important in human-robot interactions as it supports, among others, joint attention and non-linguistic interaction. While most previous work focuses on...
184
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
188
click to vote
APSEC
2006
IEEE
16 years 26 days ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...