2678 search results - page 181 / 536 » Operational Semantics of Transactions |
212
click to vote
JUCS
2010
15 years 27 days 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...
166
Voted
IJCAI
2007
15 years 7 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
131
Voted
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
166
Voted
FLAIRS
2006
15 years 7 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
182
Voted
SYRCODIS
2007
15 years 7 months ago
2007
The information is at the present time often saved and available in electronic form. With still increasing quantity of accessible, most frequently text information, the need of or...