2490 search results - page 387 / 498 » The Generalized Theory of Model Preference |
149
click to vote
AAAI
2006
15 years 5 months ago
2006
I propose that the notion of cognitive state be broadened from the current predicate-symbolic, Language-of-Thought framework to a multi-modal one, where perception and kinesthetic...
175
click to vote
CANDC
2009
ACM
15 years 1 months ago
2009
ACM
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...
210
click to vote
PLPV
2011
ACM
14 years 6 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
143
click to vote
MOBIHOC
2002
ACM
16 years 3 months ago
2002
ACM
This paper investigates two fundamental characteristics of a wireless multihop network: its minimum node degree and its k?connectivity. Both topology attributes depend on the spat...
139
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract. This work addresses a class of total-variation based multilabeling problems over a spatially continuous image domain, where the data fidelity term can be any bounded fun...