1763 search results - page 180 / 353 » A Formalization of Polytime Functions |
143
click to vote
ICDS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
123
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
115
click to vote
SYNASC
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
142
click to vote
ICAPR
2005
Springer
15 years 9 months ago
2005
Springer
There is need for more formal specification of recognition tasks. Currently, it is common to use labeled training samples to illustrate the task to be performed. The mathematical ...
111
click to vote
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...