4767 search results - page 363 / 954 » Structures for Abstract Rewriting |
211
click to vote
IPCO
2008
15 years 8 months ago
2008
Abstract. Semidefinite relaxations are known to deliver good approximations for combinatorial optimization problems like graph bisection. Using the spectral bundle method it is pos...
192
click to vote
OWLED
2008
15 years 8 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
186
click to vote
SIGSAND
2008
15 years 8 months ago
2008
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
155
click to vote
DELFI
2004
15 years 8 months ago
2004
Abstract. This tutorial describes the rationale for and use of an ontology for extensive semantic interrelation of documents to increase "sustainable development", i.e. c...
159
click to vote
GEOINFO
2004
15 years 8 months ago
2004
Abstract: This paper presents a data model for cyclic geographic events useful for nextgeneration geographic information system design. The paper introduces a structure that captur...