1399 search results - page 182 / 280 » Multi-party Finite Computations |
115
click to vote
STOC
2003
ACM
16 years 4 months ago
2003
ACM
In this paper we establish a topological similarity between two apparently different shape constructors from a set of points. Shape constructors are geometric structures that tran...
131
click to vote
CIG
2005
IEEE
15 years 10 months ago
2005
IEEE
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
147
click to vote
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...
140
Voted
ICSOC
2003
Springer
15 years 9 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
121
click to vote
FM
1994
Springer
15 years 8 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...