Sciweavers

1937 search results - page 292 / 388
» Starting B Specifications from Use Cases
Sort
View
AAAI
2008
15 years 8 months ago
The PELA Architecture: Integrating Planning and Learning to Improve Execution
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...
Sergio Jiménez, Fernando Fernández, ...
OWLED
2008
15 years 7 months ago
Opening, Closing Worlds - On Integrity Constraints
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...
Evren Sirin, Michael Smith, Evan Wallace
APBC
2004
107views Bioinformatics» more  APBC 2004»
15 years 7 months ago
An Empirical Bayes Adjustment to Multiple p-values for the Detection of Differentially Expressed Genes in Microarray Experiments
In recent microarray experiments thousands of gene expressions are simultaneously tested in comparing samples (e.g., tissue types or experimental conditions). Application of a sta...
Somnath Datta, Susmita Datta
DAGSTUHL
2003
15 years 7 months ago
Partial Order Semantics of Sequence Diagrams for Mobility
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
Piotr Kosiuczenko
CIDR
2009
136views Algorithms» more  CIDR 2009»
15 years 7 months ago
The Role of Schema Matching in Large Enterprises
To date, the principal use case for schema matching research has been as a precursor for code generation, i.e., constructing mappings between schema elements with the end goal of ...
Ken Smith, Michael Morse, Peter Mork, Maya Hao Li,...