Sciweavers

16190 search results - page 2796 / 3238
» Applicative programming with effects
Sort
View
JBI
2006
15 years 3 months ago
Granularity, scale and collectivity: When size does and does not matter
Bridging levels of ``granularity'' and ``scale'' are frequently cited as key problems for biomedical informatics. However, detailed accounts of what is meant b...
Alan L. Rector, Jeremy Rogers, Thomas Bittner
JSS
2008
89views more  JSS 2008»
15 years 3 months ago
A search-based framework for automatic testing of MATLAB/Simulink models
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
Yuan Zhan, John A. Clark
DKE
2007
199views more  DKE 2007»
15 years 3 months ago
QMatch - Using paths to match XML schemas
Integration of multiple heterogeneous data sources continues to be a critical problem for many application domains and a challenge for researchers world-wide. With the increasing ...
Naiyana Tansalarak, Kajal T. Claypool
DKE
2007
116views more  DKE 2007»
15 years 3 months ago
A concurrent rule scheduling algorithm for active rules
The use of rules in a distributed environment creates new challenges for the development of active rule execution models. In particular, since a single event can trigger multiple ...
Ying Jin, Susan Darling Urban, Suzanne W. Dietrich
JSYML
2008
74views more  JSYML 2008»
15 years 3 months ago
Omitting types for finite variable fragments and complete representations of algebras
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
Tarek Sayed Ahmed, Hajnal Andréka, Istv&aac...
« Prev « First page 2796 / 3238 Last » Next »