4126 search results - page 632 / 826 » Relationships with other Formalisms |
163
click to vote
FC
2005
Springer
16 years 15 hour ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
169
click to vote
FC
2005
Springer
16 years 15 hour ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...
162
click to vote
FMCO
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
157
click to vote
FORMATS
2005
Springer
16 years 14 hour ago
2005
Springer
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
145
click to vote
ICDT
2005
ACM
16 years 5 hour ago
2005
ACM
What does a data stream mean? Much of the extensive work on query operators and query processing for data streams has proceeded without the benefit of an answer to this question. ...