471 search results - page 32 / 95 » Automatic Mutual Exclusion |
FUIN
2008
13 years 8 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...
IJAR
2008
13 years 8 months ago
2008
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalis...
EMNLP
2006
13 years 10 months ago
2006
Information Extraction (IE) is the task of extracting knowledge from unstructured text. We present a novel unsupervised approach for information extraction based on graph mutual r...
MICCAI
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. The application of Partially Parallel Imaging (PPI) techniques to regular clinical Magnetic Resonance Imaging (MRI) studies has brought about the benefit of significantly...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Community Question Answering (CQA) has emerged as a popular forum for users to pose questions for other users to answer. Over the last few years, CQA portals such as Naver and Yah...