19798 search results - page 576 / 3960 » Is Structural Subtyping Useful |
148
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Humans have at some point learned an abstraction of the capabilities of their arms. By just looking at the scene they can decide which places or objects they can easily reach a...
130
Voted
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...
128
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
162
click to vote
IPSN
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents SHiMmer, a wireless platform for sensing and actuation that combines localized processing with energy harvesting to provide long-lived structural health monito...
129
click to vote
PKDD
2007
Springer
15 years 11 months ago
2007
Springer
Most knowledge discovery processes are biased since some part of the knowledge structure must be given before extraction. We propose a framework that avoids this bias by supporting...