2514 search results - page 351 / 503 » The use of industrial-strength formal methods |
150
click to vote
SBIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Enterprise delegates Agents’ Negotiation is a simpler task if the enterprises involved in the transaction have homogeneous representation structures as well as the same...
179
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
167
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...
205
click to vote
ADBIS
2010
Springer
15 years 7 months ago
2010
Springer
al Partitioning by Predicate Abstraction and its Application to Data Warehouse Design Aleksandar Dimovski1 , Goran Velinov2 , and Dragan Sahpaski2 1 Faculty of Information-Communic...
202
click to vote
DKE
2002
15 years 6 months ago
2002
We introduce the notion of iceberg concept lattices and show their use in knowledge discovery in databases. Iceberg lattices are a conceptual clustering method, which is well suit...