Sciweavers

2830 search results - page 90 / 566
» No Science without Semantics
Sort
View
ICDAR
2009
IEEE
14 years 2 months ago
2D CAD Data Mining Based on Spatial Relation
In this research, we propose CAD data mining technique to obtain semantic elements without prior knowledge about plans being designed. Our method consists of two steps. The first ...
Hiroaki Kizu, Junko Yamamoto, Takeshi Takeda, Keij...
BMCBI
2007
102views more  BMCBI 2007»
13 years 8 months ago
Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL
The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology s...
Mikel Egaña Aranguren, Sean Bechhofer, Phil...
ACMICEC
2004
ACM
160views ECommerce» more  ACMICEC 2004»
14 years 1 months ago
A shared service terminology for online service provisioning
An extensive literature research in the fields of IT and business science reveals that service-related terms as service and e-service have multiple interpretations within busines...
Ziv Baida, Jaap Gordijn, Borys Omelayenko
WG
2009
Springer
14 years 2 months ago
A New Intersection Model and Improved Algorithms for Tolerance Graphs
Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This class of graphs, which generalizes...
George B. Mertzios, Ignasi Sau, Shmuel Zaks
TLCA
2007
Springer
14 years 2 months ago
An Isomorphism Between Cut-Elimination Procedure and Proof Reduction
Abstract. This paper introduces a cut-elimination procedure of the intuitionistic sequent calculus and shows that it is isomorphic to the proof reduction of the intuitionistic natu...
Koji Nakazawa