Sciweavers

2661 search results - page 315 / 533
» A Semantics for Abstraction
Sort
View
JUCS
2008
105views more  JUCS 2008»
15 years 6 months ago
ITS Domain Modelling with Ontology
: Authoring ITS domain models is a difficult task requiring many skills. We explored whether modeling ontology reduces the problem by giving the students of an e-learning summer sc...
Brent Martin, Antonija Mitrovic, Pramuditha Surawe...
ESWS
2008
Springer
15 years 8 months ago
Ontology-based Disambiguation of Spatiotemporal Locations
Abstract. Geographic place names are semantically often highly ambiguous. For example, there are 491 places in Finland sharing the same name "Isosaari" (great island) tha...
Tomi Kauppinen, Riikka Henriksson, Reetta Sinkkil&...
ICWS
2004
IEEE
15 years 8 months ago
Realizability of Conversation Protocols With Message Contents
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...
Xiang Fu, Tevfik Bultan, Jianwen Su
BIRTHDAY
2009
Springer
16 years 1 months ago
The KBMS Project and Beyond
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
Vinay K. Chaudhri, Igor Jurisica, Manolis Koubarak...
LICS
2006
IEEE
16 years 21 days ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson