2783 search results - page 196 / 557 » The Nature Of Near-Synonymic Relations |
111
click to vote
SOFSEM
2009
Springer
15 years 6 months ago
2009
Springer
In this text we will discuss different forms of randomness in Natural Sciences and present some recent results relating them. In finite processes, randomness differs in various ...
113
click to vote
ECSQARU
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
132
click to vote
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
Relational languages such as Ruby are used to derive circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representat...
108
click to vote
SIGMOD
1989
ACM
15 years 5 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
113
Voted
FOSSACS
2000
Springer
15 years 5 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...