1670 search results - page 202 / 334 » On Skolemization in constructive theories |
220
click to vote
JUCS
2010
15 years 1 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
213
click to vote
TNN
2010
15 years 1 months ago
2010
Abstract--In this paper, the problem of stochastic synchronization analysis is investigated for a new array of coupled discretetime stochastic complex networks with randomly occurr...
179
click to vote
TNN
2010
15 years 1 months ago
2010
In this paper we provide theoretical and numerical analysis of a geometric activity flow network model which is aimed at explaining mathematically the scale-free functional graph s...
177
click to vote
AAAI
2011
14 years 6 months ago
2011
Analogy is heavily used in instructional texts. We introduce the concept of analogical dialogue acts (ADAs), which represent the roles utterances play in instructional analogies. ...
171
click to vote
CLIMA
2011
14 years 6 months ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...