Sciweavers

3062 search results - page 14 / 613
» A Language Modeling Approach for Temporal Information Needs
Sort
View
137
Voted
ADC
2006
Springer
135views Database» more  ADC 2006»
15 years 9 months ago
Using a temporal constraint network for business process execution
Business process management (BPM) has emerged as a dominant technology in current enterprise systems and business solutions. However, the technology continues to face challenges i...
Ruopeng Lu, Shazia Wasim Sadiq, Vineet Padmanabhan...
301
Voted
ICA
2012
Springer
13 years 11 months ago
A Non-negative Approach to Language Informed Speech Separation
Abstract. The use of high level information in source separation algorithms can greatly constrain the problem and lead to improved results by limiting the solution space to semanti...
Gautham J. Mysore, Paris Smaragdis
115
Voted
WSC
2004
15 years 4 months ago
Modeling Information for Manufacturing-Oriented Supply-Chain Simulations
This paper discusses a new approach that facilitates the use of simulation in supply chain applications, especially for manufacturing-related activities. A neutral information rep...
Guixiu Qiao, Frank Riddick
120
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Trio2Promela: A Model Checker for Temporal Metric Specifications
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
Domenico Bianculli, Angelo Morzenti, Matteo Pradel...
DEXAW
1999
IEEE
142views Database» more  DEXAW 1999»
15 years 7 months ago
Developments in Spatio-Temporal Query Languages
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
Martin Erwig, Markus Schneider