1512 search results - page 106 / 303 » When Suboptimal Rules |
93
Voted
TCS
2008
14 years 11 months ago
2008
The object of this paper is to appreciate the computational limits inherent in the combinatorics of an applied concurrent (aka agent-based) language . That language is primarily m...
TOSEM
2002
14 years 10 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
TPHOL
2008
IEEE
15 years 5 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We discuss the realization of evaluation strategies for the concurrent constraint-based functional language ccfl within the translation schemata when compiling ccfl programs into t...
IJAR
2006
14 years 11 months ago
2006
Fuzzy integrals, in general, and Sugeno integrals, in particular, are well known aggregation operators. They can be used in a great variety of decision making applications. Nevert...