5086 search results - page 371 / 1018 » The Power of Comparative Reasoning |
144
click to vote
DFG
2007
Springer
16 years 27 days ago
2007
Springer
: Nowadays, biologists investigate different causes for deafness. One reason is a damage in a particular region of the auditory brain stem. These differences were discovered by inv...
136
click to vote
FPL
2007
Springer
16 years 27 days ago
2007
Springer
This paper describes the mapping of a two-dimensional inverse discrete cosine transform (2-D IDCT) onto a wordlevel reconfigurable Montium R processor. This shows that the IDCT i...
160
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
163
click to vote
LPAR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The paper describes the formalization and implementation of an efficient constraint programming framework operating on 3D crystal lattices. The framework is motivated an...
160
click to vote
TARK
2005
Springer
16 years 6 days ago
2005
Springer
We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of ...