The Matlab/Simulink language has become the standard formalism for modeling and implementing control software in areas like avionics, automotive, railway, and process automation. Such software is often safety critical, and bugs have potentially disastrous consequences for people and material involved. We define a verification methodology to assess the correctness of Simulink programs by means o...

Automotive transmission systems are difficult to test and validate, due to the complex interaction of mechanics, hydraulics, electronics, and transmission control software. The tight interaction among an ever increasing amount of software functions and hardware subsystems leads to a new kind of complexity that is difficult to manage during mechatronic design. System tests have to consider huge ...

Content-level conformance testing is a key to achieving interoperable data exchange among applications deployed across collaborating, yet independent enterprises. In this paper, we identify four types of content-level conformance tests to support interoperable data exchange: documentverification tests, information-mapping tests, transaction-behavior tests, and scenario-based tests. We describe ...

Motion segmentation is an old problem that is receiving renewed interest because of its role in video analysis. In this paper, we present a Semi-Nonnegative Matrix Factorization (SNMF)method that models dense point tracks in terms of their optical flow, and decomposes sets of point tracks into semantically meaningful motion components. We show that this formulation of SNMF with missing values o...

We describe an Arabic-Hebrew parallel corpus of TED talks built upon WIT, the Web inventory that repurposes the original content of the TED website in a way which is more convenient for MT researchers. The benchmark consists of about 2,000 talks, whose subtitles in Arabic and Hebrew have been accurately aligned and rearranged in sentences, for a total of about 3.5M tokens per language. Talks ha...

In this exploratory study we propose to analyze, in healthy adult volunteers, the heart electrical (electrocardiogram, ECG) and mechanical (phonocardiogram, PCG) activity during exercise. Heart sounds amplitude, frequency content, and RS2, may be important features in the non-invasive assessment of heart activity, such as for the estimation of cardiac output and blood pressure. Nine healthy vol...

In this paper we discuss several issues related to automated text classification of web sites. We analyze the nature of web content and metadata in relation to requirements for text features. We find that HTML metatags are a good source of text features, but are not in wide use despite their role in search engine rankings. We present an approach for targeted spidering including metadata extract...

With the rapid growth of user-generated content on the internet, sentiment analysis of online reviews has become a hot research topic recently, but due to variety and wide range of products and services, the supervised and domainspecific models are often not practical. As the number of reviews expands, it is essential to develop an efficient sentiment analysis model that is capable of extractin...

Gastro Oesophageal Reflux Disease (GORD) is a chronic and relapsing disease, defined as "Failure of antireflux barrier, allowing reflux of gastric contents into the esophagus".1 According to the Genval Workshop, this term should be used to include all individuals who are exposed to the risk of physical complications from Gastro-esophageal reflux or who experience clinically significant impairme...

Non-standard language as it appears in user-generated content has recently attracted much attention. This paper proposes that non-standardness comes in two basic varieties, technical and linguistic, and develops a machine-learning method to discriminate between standard and nonstandard texts in these two dimensions. We describe the manual annotation of a dataset of Slovene user-generated conten...