1128 search results - page 144 / 226 » Classical Natural Deduction |
ALT
2002
Springer
15 years 9 months ago
2002
Springer
In this paper we study the question of whether identifiable classes have subclasses which are identifiable under a more restrictive criterion. The chosen framework is inductive ...
104
click to vote
IUI
2009
ACM
15 years 9 months ago
2009
ACM
The fundamental nature of grocery shopping makes it an interesting domain for intelligent mobile assistants. Even though the central role of shopping lists is widely recognized, r...
104
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Visual recognition and detection are computationally intensive tasks and current research efforts primarily focus on solving them without considering the computational capability ...
114
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Based on multifractal analysis in wavelet pyramids of texture images, a new texture descriptor is proposed in this paper that implicitly combines information from both spatial and...
86
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Developers, like all modern knowledge workers, are frequently interrupted and blocked in their tasks. In this paper we present a contextual inquiry into developers’ current stra...