Sciweavers

572 search results - page 12 / 115
» Formal Properties of Metrical Structure
Sort
View
92
Voted
ARGMAS
2005
Springer
15 years 3 months ago
Testing Formal Dialectic
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
Simon Wells, Chris Reed
78
Voted
ER
2007
Springer
125views Database» more  ER 2007»
15 years 3 months ago
On the Correlation between Process Model Metrics and Errors
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
Jan Mendling, Gustaf Neumann, Wil M. P. van der Aa...
ICLP
1999
Springer
15 years 1 months ago
Event, Property, and Hierarchy in Order-Sorted Logic
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...
Ken Kaneiwa, Satoshi Tojo
MM
2009
ACM
177views Multimedia» more  MM 2009»
15 years 4 months ago
Transfer non-metric measures into metric for similarity search
Similarity search is widely used in multimedia retrieval systems to find the most similar ones for a given object. Some similarity measures, however, are not metric, leading to e...
Danzhou Liu, Kien A. Hua
METRICS
2003
IEEE
15 years 2 months ago
Definition and Validation of Design Metrics for Distributed Applications
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
Pablo Rossi, George Fernandez