Sciweavers

2308 search results - page 259 / 462
» Categorial Semantics For LFG
Sort
View
BTW
2007
Springer
149views Database» more  BTW 2007»
16 years 22 days ago
Instance-based matching of hierarchical ontologies
Abstract: We study an instance-based approach for matching hierarchical ontologies, such as product catalogs. The motivation for utilizing instances is that metadata-based match ap...
Andreas Thor, Toralf Kirsten, Erhard Rahm
CMMR
2007
Springer
104views Music» more  CMMR 2007»
16 years 21 days ago
Semiotics of Sounds Evoking Motions: Categorization and Acoustic Features
Abstract. The current study is part of a larger project aiming at offering intuitive mappings of control parameters piloting synthesis models by semantic descriptions of sounds, i...
Adrien Merer, Sølvi Ystad, Richard Kronland...
ER
2007
Springer
100views Database» more  ER 2007»
16 years 21 days ago
On Languages for the Specification of Integrity Constraints in Spatial Conceptual Models
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
Mehrdad Salehi, Yvan Bédard, Mir Abolfazl M...
OOPSLA
2007
Springer
16 years 20 days ago
Understanding programmer language
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
Einar W. Høst
LICS
2006
IEEE
16 years 16 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