Sciweavers

5671 search results - page 358 / 1135
» A Semantic Approach to Interpolation
Sort
View
APSEC
2005
IEEE
16 years 14 days ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar
WIDM
2003
ACM
16 years 3 days ago
An intelligent search agent system for semantic information retrieval on the internet
In this paper we describe a prototype system for information retrieval on the Internet. Our idea is that the Web has to be searched both semantically and syntactically. In order t...
Carmine Cesarano, Antonio d'Acierno, Antonio Picar...
SIGIR
1999
ACM
15 years 11 months ago
Probabilistic Latent Semantic Indexing
Probabilistic Latent Semantic Indexing is a novel approach to automated document indexing which is based on a statistical latent class model for factor analysis of count data. Fit...
Thomas Hofmann
DOOD
1997
Springer
134views Database» more  DOOD 1997»
15 years 11 months ago
Well-Founded Semantics for Deductive Object-Oriented Database Languages
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
Wolfgang May, Bertram Ludäscher, Georg Lausen
KONVENS
1992
15 years 11 months ago
Flexible Semantics Communication in Integrated Speech / Language Architectures
: We consider communication between modules in an integrated architecture for Speech and Natural Language (NL), in particular the communication with the semantics module. In an int...
Abdel Kader Diagne, John Nerbonne