Sciweavers

2291 search results - page 336 / 459
» Representational Reasoning and Verification
Sort
View
QUACON
2009
Springer
14 years 4 months ago
Establishing Similarity across Multi-granular Topological-Relation Ontologies
Within the Geospatial Semantic Web, selecting a different ontology for a spatial data set will enable that data’s analysis in a different context. Analyses of multiple data sets,...
Matthew P. Dube, Max J. Egenhofer
SEMWEB
2009
Springer
14 years 4 months ago
An Algorithm for Learning with Probabilistic Description Logics
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...
José Eduardo Ochoa Luna, Fabio Gagliardi Co...
IAT
2008
IEEE
14 years 4 months ago
Auction Analysis by Normal Form Game Approximation
Auctions are pervasive in today’s society and provide a variety of real markets. This article facilitates a strategic choice between a set of available trading strategies by int...
Michael Kaisers, Karl Tuyls, Frank Thuijsman, Simo...
ICPR
2008
IEEE
14 years 4 months ago
An approximate algorithm for median graph computation using graph embedding
Graphs are powerful data structures that have many attractive properties for object representation. However, some basic operations are difficult to define and implement, for ins...
Miquel Ferrer, Ernest Valveny, Francesc Serratosa,...
IV
2008
IEEE
155views Visualization» more  IV 2008»
14 years 4 months ago
Visualise Undrawable Euler Diagrams
Given a group of overlapping sets, it is not always possible to represent it with Euler diagrams. Euler diagram characteristics might collide with the sets relationships to depict...
Paolo Simonetto, David Auber