3028 search results - page 204 / 606 » Integrating Temporal Logics |
212
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
193
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
![Blockwise Similarity in [0, 1] via Triangular Norms and Sugeno Integrals - Application to Cluster Validity](http://sciweaver.org/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...
184
click to vote
ICTAI
2002
IEEE
16 years 4 days ago
2002
IEEE
In order to reduce the time-to-market and simplify gatelevel test generation for digital integrated circuits, GAbased functional test generation techniques are proposed for behavi...
188
click to vote
AI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
260
click to vote
AC
1992
Springer
15 years 11 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...