Sciweavers

3062 search results - page 14 / 613
» A Language Modeling Approach for Temporal Information Needs
Sort
View
ADC
2006
Springer
135views Database» more  ADC 2006»
14 years 2 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...
ICA
2012
Springer
12 years 4 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
WSC
2004
13 years 10 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
ICSE
2007
IEEE-ACM
14 years 9 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»
14 years 1 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