Sciweavers

780 search results - page 47 / 156
» Combining a Formal with an Example-driven Approach for Data ...
Sort
View
MM
1997
ACM
82views Multimedia» more  MM 1997»
14 years 1 months ago
A Visual Approach to Multimedia Querying and Presentation
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...
Isabel F. Cruz, Wendy T. Lucas
ICCS
2000
Springer
14 years 16 days ago
Conceptual Knowledge Discovery and Data Analysis
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...
Joachim Hereth Correia, Gerd Stumme, Rudolf Wille,...
RECOMB
2003
Springer
14 years 9 months ago
An integrated probabilistic model for functional prediction of proteins
We develop an integrated probabilistic model to combine protein physical interactions, genetic interactions, highly correlated gene expression network, protein complex data, and d...
Minghua Deng, Ting Chen, Fengzhu Sun
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
14 years 24 days ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
KIVS
2005
Springer
14 years 2 months ago
An Integrated Simulator for Inter-Domain Scenarios
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
Matthias Scheidegger, Florian Baumgartner, Torsten...