2790 search results - page 238 / 558 » A generative theory of relevance |
195
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
116
click to vote
ISM
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we assess the possibility of a critical knowledge of technology. In the case of facial recognition systems, ‘FRS’, we argue that behaviorism underlies this tech...
160
click to vote
CALCO
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...
150
click to vote
FSEN
2007
Springer
16 years 25 days ago
2007
Springer
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for ...
158
click to vote
ITNG
2006
IEEE
16 years 21 days ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...