2517 search results - page 174 / 504 » Specifying Weak Sets |
167
click to vote
AMW
2010
15 years 8 months ago
2010
We address the problem of answering conjunctive queries over knowledge bases, specified by sets of first-order sentences called tuple-generating dependencies (TGDs). This problem i...
160
click to vote
SODA
2008
ACM
15 years 8 months ago
2008
ACM
We present a method to maintain a mesh approximating a deforming surface, which is specified by a dense set of sample points. We identify a reasonable motion model for which a pro...
183
click to vote
CLIMA
2004
15 years 8 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
165
click to vote
SSR
2001
15 years 8 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
134
click to vote
WSC
2004
15 years 8 months ago
2004
The reuse of existing simulations in multiple federations is an important goal of distributed simulation frameworks. However, in order to reuse a federate, its simulation code oft...