Sciweavers

157 search results - page 23 / 32
» A Geometrically Enhanced Conceptual Model and Query Language
Sort
View
ER
1999
Springer
108views Database» more  ER 1999»
13 years 12 months ago
Modeling Cyclic Change
Database support of time-varying phenomena typically assumes that entities change in a linear fashion. Many phenomena, however, change cyclically over time. Examples include monsoo...
Kathleen Hornsby, Max J. Egenhofer, Patrick J. Hay...
DEXA
2010
Springer
186views Database» more  DEXA 2010»
13 years 7 months ago
An Open Platform for Business Process Modeling and Verification
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...
SMA
2008
ACM
139views Solid Modeling» more  SMA 2008»
13 years 7 months ago
An incremental approach to feature aligned quad dominant remeshing
In this paper we present a new algorithm which turns an unstructured triangle mesh into a quad-dominant mesh with edges aligned to the principal directions of the underlying geome...
Yu-Kun Lai, Leif Kobbelt, Shi-Min Hu
BIRTHDAY
2009
Springer
14 years 2 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...
LREC
2010
146views Education» more  LREC 2010»
13 years 9 months ago
The Semantic Atlas: an Interactive Model of Lexical Representation
In this paper we describe two geometrical models of meaning representation, the Semantic Atlas (SA) and the Automatic Contexonym Organizing Model (ACOM). The SA provides maps of m...
Sabine Ploux, Armelle Boussidan, Hyungsuk Ji