Sciweavers

3062 search results - page 26 / 613
» A Language Modeling Approach for Temporal Information Needs
Sort
View
ACSD
2010
IEEE
222views Hardware» more  ACSD 2010»
13 years 6 months ago
Efficient Model Checking of PSL Safety Properties
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
Tuomas Launiainen, Keijo Heljanko, Tommi A. Juntti...
VL
1999
IEEE
112views Visual Languages» more  VL 1999»
14 years 1 months ago
Visual Specification of Spatio-Temporal Developments
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...
Martin Erwig, Markus Schneider
ICML
2007
IEEE
14 years 9 months ago
Recovering temporally rewiring networks: a model-based approach
A plausible representation of relational information among entities in dynamic systems such as a living cell or a social community is a stochastic network which is topologically r...
Fan Guo, Steve Hanneke, Wenjie Fu, Eric P. Xing
ECOOP
1992
Springer
14 years 27 days ago
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
Mehmet Aksit, Lodewijk Bergmans, Sinan Vural
ACL
2009
13 years 6 months ago
Optimizing Language Model Information Retrieval System with Expectation Maximization Algorithm
Statistical language modeling (SLM) has been used in many different domains for decades and has also been applied to information retrieval (IR) recently. Documents retrieved using...
Justin Liang-Te Chiu, Jyun-Wei Huang