Sciweavers

2022 search results - page 261 / 405
» Natural-Language Semantics for Associations
Sort
View
ROOM
2000
15 years 5 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
JUCS
2006
89views more  JUCS 2006»
15 years 4 months ago
Process Equivalences as Global Bisimulations
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...
ACISICIS
2007
IEEE
15 years 10 months ago
ORN Additive: Shrinking the Gap between Database Modeling and Implementation
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
Bryon K. Ehlmann
SEMCO
2007
IEEE
15 years 10 months ago
Sub-Symbolic Semantic Layer in Cyc for Intuitive Chat-Bots
The work presented in this paper aims to combine Latent Semantic Analysis methodology, common sense and traditional knowledge representation in order to improve the dialogue capab...
Giovanni Pilato, Agnese Augello, Giorgio Vassallo,...
SAMT
2007
Springer
109views Multimedia» more  SAMT 2007»
15 years 10 months ago
Challenges in Supporting Faceted Semantic Browsing of Multimedia Collections
This paper describes our experience developing a semantically-rich exploratory interface that integrates a suite of Newsfilm media sources and associated information. Indeed, the a...
Daniel A. Smith, Alisdair Owens, m. c. schraefel, ...