2573 search results - page 359 / 515 » Combinations of Modal Logics |
184
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
145
click to vote
IAT
2008
IEEE
16 years 29 days ago
2008
IEEE
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the dif...
176
click to vote
FUZZIEEE
2007
IEEE
16 years 25 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...
179
click to vote
TIME
2007
IEEE
16 years 23 days ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
163
click to vote
FSKD
2007
Springer
16 years 20 days ago
2007
Springer
Web users are always distracted by a large number of results returned from search engines. Clustering can efficiently facilitate users’ browsing pages of certain topic. However...