3819 search results - page 348 / 764 » Simple Easy Terms |
169
click to vote
TEI
2010
ACM
16 years 2 months ago
2010
ACM
A human-powered user interface device sources its power from the physical effort required to operate it. This paper describes a technique by which a geared DC motor and a simple c...
222
click to vote
FLOPS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
184
click to vote
LATIN
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We define the notion of diversity for families of finite functions, and express the limitations of a simple class of holographic algorithms in terms of limitations on d...
189
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
In order to create more attractive tagclouds that get people interested in tagged content, we propose a simple but novel tagcloud where font size is determined by tag’s entropy ...
185
Voted
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...