Sciweavers

2490 search results - page 375 / 498
» Complexity of Contextual Reasoning
Sort
View
BIBE
2004
IEEE
107views Bioinformatics» more  BIBE 2004»
15 years 7 months ago
Enhanced pClustering and Its Applications to Gene Expression Data
Clustering has been one of the most popular methods to discover useful biological insights from DNA microarray. An interesting paradigm is simultaneous clustering of both genes an...
Sungroh Yoon, Christine Nardini, Luca Benini, Giov...
ATAL
2006
Springer
15 years 7 months ago
Temporal qualitative coalitional games
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
CBSE
2006
Springer
15 years 7 months ago
Verification of Component-Based Software Application Families
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Fei Xie, James C. Browne
DIAL
2004
IEEE
156views Image Analysis» more  DIAL 2004»
15 years 7 months ago
Xed: A New Tool for eXtracting Hidden Structures from Electronic Documents
PDF became a very common format for exchanging printable documents. Further, it can be easily generated from the major documents formats, which make a huge number of PDF documents...
Karim Hadjar, Maurizio Rigamonti, Denis Lalanne, R...
FGR
2004
IEEE
141views Biometrics» more  FGR 2004»
15 years 7 months ago
Smart Particle Filtering for 3D Hand Tracking
Solving the tracking of an articulated structure in a reasonable time is a complex task mainly due to the high dimensionality of the problem. A new optimization method, called Sto...
Matthieu Bray, Esther Koller-Meier, Luc J. Van Goo...