Sciweavers

4695 search results - page 596 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
BMCBI
2005
137views more  BMCBI 2005»
15 years 7 months ago
ArrayQuest: a web resource for the analysis of DNA microarray data
Background: Numerous microarray analysis programs have been created through the efforts of Open Source software development projects. Providing browser-based interfaces that allow...
Gary L. Argraves, Saurin D. Jani, Jeremy L. Barth,...
WWW
2007
ACM
16 years 8 months ago
Personalized social & real-time collaborative search
This paper presents Adaptive Web Search (AWS), a novel search technique that combines personalized, social, and realtime collaborative search. Preliminary empirical results from a...
Mukesh Dalal
ICRA
2005
IEEE
125views Robotics» more  ICRA 2005»
16 years 1 months ago
Scan Matching in the Hough Domain
— Scan matching is used as a building block in many robotic applications, for localization and simultaneous localization and mapping (SLAM). Although many techniques have been pr...
Andrea Censi, Luca Iocchi, Giorgio Grisetti
ASPDAC
2007
ACM
152views Hardware» more  ASPDAC 2007»
15 years 11 months ago
A Graph Reduction Approach to Symbolic Circuit Analysis
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...
Guoyong Shi, Weiwei Chen, C.-J. Richard Shi
ACSD
2003
IEEE
102views Hardware» more  ACSD 2003»
15 years 11 months ago
Specification Coverage Aided Test Selection
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
Tuomo Pyhälä, Keijo Heljanko