14 search results - page 2 / 3 » sin 2010 |
JAR
2010
13 years 3 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
VLSI
2010
Springer
13 years 2 days ago
2010
Springer
A novel Capacitor array structure for Successive Approximation Register (SAR) ADC is proposed. This circuit efficiently utilizes charge recycling to achieve high-speed of operation...
SIN
2010
ACM
13 years 3 months ago
2010
ACM
In recent years, social networking sites (SNSs) gained high popularity among Internet users as they combine the best of both worlds: befriending people outside real life situation...
VIROLOGY
2010
13 years 2 days ago
2010
Abstract. There is nowadays a wide range of TCP/IP stack identification tools that allow to easily recognize the operating system of foreseen targets. The object of this article is...
CHI
2010
ACM
14 years 7 days ago
2010
ACM
We present findings from a field study of Wayve, a situated messaging device for the home that incorporates handwriting and photography. Wayve was used by 24 households (some of w...