3238 search results - page 117 / 648 » On the Computational Interpretation of Negation |
162
click to vote
HICSS
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper describes the findings of a case study that explores the micro level factors surrounding the processes of creativity and process management in a creative organization. ...
158
click to vote
HCI
2007
15 years 7 months ago
2007
Responding to computer-initiated notifications requires a shift in attention that disrupts the flow of work. The degree of cost associated with resuming the original task following...
147
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
130
click to vote
STOC
2006
ACM
16 years 6 months ago
2006
ACM
We consider the possibility of basing one-way functions on NP-Hardness; that is, we study possible reductions from a worst-case decision problem to the task of average-case invert...
188
click to vote
BIOTECHNO
2008
IEEE
16 years 27 days ago
2008
IEEE
Co-occurrence matrices are one of three texture algorithms commonly used on Computed Tomography (CT) images. In this paper we analyze the directional invariance of Co-occurrence m...