Sciweavers

1075 search results - page 125 / 215
» Using Activity Theory to Model Context Awareness
Sort
View
CSL
2010
Springer
15 years 5 months ago
Embedding Deduction Modulo into a Prover
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
Guillaume Burel
BMCBI
2005
114views more  BMCBI 2005»
15 years 4 months ago
Signal transduction pathway profiling of individual tumor samples
Background: Signal transduction pathways convey information from the outside of the cell to transcription factors, which in turn regulate gene expression. Our objective is to anal...
Thomas Breslin, Morten Krogh, Carsten Peterson, Ca...
CSCW
1996
ACM
15 years 8 months ago
Hypermedia Structures and the Division of Labor in Meeting Room Collaboration
The type of collaboration for a group, whether working in parallel or collectively, is a style for a group influenced by many factors, among them the technology that the group wor...
Gloria Mark, Jörg M. Haake, Norbert A. Streit...
MM
2009
ACM
187views Multimedia» more  MM 2009»
15 years 8 months ago
Convex experimental design using manifold structure for image retrieval
Content Based Image Retrieval (CBIR) has become one of the most active research areas in computer science. Relevance feedback is often used in CBIR systems to bridge the semantic ...
Lijun Zhang, Chun Chen, Wei Chen, Jiajun Bu, Deng ...
ICASSP
2011
IEEE
14 years 7 months ago
Phoneme selective speech enhancement using the generalized parametric spectral subtraction estimator
In this study, the generalized parametric spectral subtraction estimator is employed in the context of a ROVER speech enhancement framework to develop a robust phoneme class selec...
Amit Das, John H. L. Hansen