4211 search results - page 412 / 843 » Types as Abstract Interpretations |
124
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We examined the benefits of animated scrolling using four speeds and three different document types in terms of task speed, accuracy and user preference. We considered reading tas...
149
click to vote
INTETAIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Interactive multi-touch tables can be a powerful means of communication for collaborative work as well as an engaging environment for competition. Through enticing gamepl...
167
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Most existing automatic taxonomy induction systems exploit one or more features to induce a taxonomy; nevertheless there is no systematic study examining which are the best featur...
175
Voted
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—An investigative study of three–parameter diversely polarized array manifold is presented in this paper. With a polarization diversity, an extra degree of signal discr...
185
click to vote
SPC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...