4965 search results - page 291 / 993 » A Simple Abstraction for Data Modeling |
166
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
173
click to vote
BMEI
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract--Finding differentially expressed genes is a fundamental objective of a microarray experiment. Recently proposed method, PPLR, considers the probe-level measurement error ...
179
click to vote
ITA
2007
15 years 6 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
229
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce a generative probabilistic model for segmentation of tumors in multi-dimensional images. The model allows for different tumor boundaries in each channel, ref...
166
click to vote
MM
1997
ACM
15 years 11 months ago
1997
ACM
Multimedia data has become readily available from a variety of resources, such as the Web, to users (ranging from naive to sophisticated) who need to select and to present the dat...