Sciweavers

1750 search results - page 12 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
FDL
2006
IEEE
14 years 1 months ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
SPATIALCOGNITION
2004
Springer
14 years 23 days ago
Modelling Models of Robot Navigation Using Formal Spatial Ontology
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
John A. Bateman, Scott Farrar
CAISE
2000
Springer
13 years 11 months ago
A Formal Model for Business Process Modeling and Design
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
Manolis Koubarakis, Dimitris Plexousakis
SIGIR
2002
ACM
13 years 7 months ago
Cross-lingual relevance models
We propose a formal model of Cross-Language Information Retrieval that does not rely on either query translation or document translation. Our approach leverages recent advances in...
Victor Lavrenko, Martin Choquette, W. Bruce Croft
GIS
1998
ACM
13 years 7 months ago
Natural-Language Spatial Relations Between Linear and Areal Objects: The Topology and Metric of English-Language Terms
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...
A. Rashid B. M. Shariff, Max J. Egenhofer, David M...