5608 search results - page 174 / 1122 » On the Theory of Matchgate Computations |
109
click to vote
JAIR
2008
15 years 1 months ago
2008
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions o...
109
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
76
Voted
INFSOF
2006
15 years 1 months ago
2006
Program slicing identifies parts of a program that potentially affect a chosen computation. It has many applications in software engineering, including maintenance, evolution and ...
103
Voted
MP
2006
15 years 1 months ago
2006
Monte Carlo methods have been used extensively in the area of stochastic programming. As with other methods that involve a level of uncertainty, theoretical properties are required...
135
Voted
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...