Sciweavers

2774 search results - page 393 / 555
» Exploiting Deep Structure
Sort
View
BIRTHDAY
2009
Springer
16 years 1 months ago
An Action Semantics Based on Two Combinators
We propose a naive version of action semantics that begins with a selection of “transient” and “persistent” facets, each characterized as a partial monoid. Yielders are de...
Kyung-Goo Doh, David A. Schmidt
ICSE
2009
IEEE-ACM
16 years 1 months ago
Automated testing of healthcare document transformations in the PICASSO interoperability platform
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
Massimo Pascale, Marcello Roselli, Umberto Rugani,...
CRV
2009
IEEE
148views Robotics» more  CRV 2009»
16 years 1 months ago
A Novel Algorithm for Extraction of the Layers of the Cornea
Accurate corneal layer boundary extraction from optical coherence tomography can provide precise layer thickness measurements required in the analysis of corneal disease. This pap...
Justin A. Eichel, Akshaya Kumar Mishra, Paul W. Fi...
DATE
2009
IEEE
76views Hardware» more  DATE 2009»
16 years 1 months ago
LFSR-based test-data compression with self-stoppable seeds
—The main disadvantage of LFSR-based compression is that it should be usually combined with a constrained ATPG process, and, as a result, it cannot be effectively applied to IP c...
M. Koutsoupia, Emmanouil Kalligeros, Xrysovalantis...
IAT
2009
IEEE
16 years 1 months ago
Computing Information Minimal Match Explanations for Logic-Based Matchmaking
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....