5205 search results - page 741 / 1041 » Tilings and model theory |
157
click to vote
SYNTHESE
2010
15 years 5 months ago
2010
The focus of the paper is on the logic of clarity and the problem of higherorder vagueness. We first examine the consequences of the notion of intransitivity of indiscriminabilit...
227
click to vote
CANDC
2009
ACM
15 years 4 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 ...
275
click to vote
PLPV
2011
ACM
14 years 9 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...
350
click to vote
SIGECOM
2011
ACM
14 years 9 months ago
2011
ACM
Market making refers broadly to trading strategies that seek to profit by providing liquidity to other traders, while avoiding accumulating a large net position in a stock. In th...
185
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
The recovery of 3D models from multiple reference images involves not only the extraction of 3D shape, but also of texture. Assuming that all surfaces are Lambertian, the resultin...