2858 search results - page 241 / 572 » Logics with Aggregate Operators |
174
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
176
click to vote
FUZZIEEE
2007
IEEE
16 years 26 days ago
2007
IEEE
![Blockwise Similarity in [0, 1] via Triangular Norms and Sugeno Integrals - Application to Cluster Validity](http://sciweavers.com/files/imagecache/thumbnail/imagecache/blockwise_similarity_in_0_1_via_triangular_norms_and_sugeno_integrals_application_to_cluster_validity_FUZZIEEE_2007.jpg "Blockwise Similarity in [0, 1] via Triangular Norms and Sugeno Integrals - Application to Cluster Validity")
— In many fields, e.g. decision-making, numerical values in [0,1] are available and one is often interested in detecting which are similar. In this paper, we propose an operator...
140
click to vote
GLVLSI
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the designs of a saturating adder, multiplier, single MAC unit, and dual MAC unit with one cycle latencies. The dual MAC unit can perform two saturating MAC o...
200
click to vote
IJFCS
2006
15 years 6 months ago
2006
The generalized LR parsing algorithm for context-free grammars is extended for the case of Boolean grammars, which are a generalization of the context-free grammars with logical c...
151
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the delib...