Sciweavers

3013 search results - page 424 / 603
» Context-Oriented Domain Analysis
Sort
View
TACAS
2009
Springer
212views Algorithms» more  TACAS 2009»
16 years 1 months ago
Semantic Reduction of Thread Interleavings in Concurrent Programs
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupt...
ICASSP
2009
IEEE
16 years 1 months ago
Genre effects on automatic sentence segmentation of speech: A comparison of broadcast news and broadcast conversations
We investigate genre effects on the task of automatic sentence segmentation, focusing on two important domains – broadcast news (BN) and broadcast conversation (BC). We employ a...
Jáchym Kolár, Yang Liu, Elizabeth Sh...
ICDM
2009
IEEE
98views Data Mining» more  ICDM 2009»
16 years 1 months ago
Topic Distributions over Links on Web
—It is well known that Web users create links with different intentions. However, a key question, which is not well studied, is how to categorize the links and how to quantify th...
Jie Tang, Jing Zhang, Jeffrey Xu Yu, Zi Yang, Keke...
BPM
2009
Springer
146views Business» more  BPM 2009»
16 years 1 months ago
Instantaneous Soundness Checking of Industrial Business Process Models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...
Dirk Fahland, Cédric Favre, Barbara Jobstma...
DIS
2009
Springer
16 years 1 months ago
Using Data Mining for Wine Quality Assessment
Certification and quality assessment are crucial issues within the wine industry. Currently, wine quality is mostly assessed by physicochemical (e.g alcohol levels) and sensory (e...
Paulo Cortez, Juliana Teixeira, António Cer...