Sciweavers

10293 search results - page 1761 / 2059
» Describing Semistructured Data
Sort
View
FUIN
2007
121views more  FUIN 2007»
15 years 6 months ago
A Possibility-Theoretic View of Formal Concept Analysis
Abstract. The paper starts from the standard relational view linking objects and properties in formal concept analysis, here augmented with four modal-style operators (known as suf...
Didier Dubois, Florence Dupin de Saint-Cyr, Henri ...
204
Voted
MTA
2006
296views more  MTA 2006»
15 years 6 months ago
The Cuidado music browser: an end-to-end electronic music distribution system
The IST project Cuidado, which started in January 2001, aims at producing the first entirely automatic chain for extracting and exploiting musical metadata for browsing music. The...
François Pachet, Jean-Julien Aucouturier, A...
NAR
2006
97views more  NAR 2006»
15 years 6 months ago
CTGA: the database for genetic disorders in Arab populations
The Arabs comprise a genetically heterogeneous group that resulted from the admixture of different populations throughout history. They share many common characteristics responsib...
Ghazi O. Tadmouri, Mahmoud Taleb Al Ali, Sarah Al-...
IEE
2007
54views more  IEE 2007»
15 years 6 months ago
WebML modelling in UML
: In recent years, we have witnessed how the Web Engineering community has started using the standard unified modelling language (UML) notation, techniques and supporting tools fo...
Nathalie Moreno, Piero Fraternali, Antonio Valleci...
NJC
2006
88views more  NJC 2006»
15 years 6 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
« Prev « First page 1761 / 2059 Last » Next »