Sciweavers

1227 search results - page 138 / 246
» Symbolic data analysis tools for recommendation systems
Sort
View
SPIN
2010
Springer
15 years 3 months ago
Analysing Mu-Calculus Properties of Pushdown Systems
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Matthew Hague, C.-H. Luke Ong
ACIVS
2005
Springer
15 years 10 months ago
Identification of Intestinal Motility Events of Capsule Endoscopy Video Analysis
Abstract. Purpose: To develop a system for assisting the analysis of capsuleendoscopy (CE) video data and identifying sequences of frames related to small intestine motility. Mater...
Panagiota Spyridonos, Fernando Vilariño, Jo...
ASAP
2004
IEEE
124views Hardware» more  ASAP 2004»
15 years 8 months ago
Biosequence Similarity Search on the Mercury System
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
Praveen Krishnamurthy, Jeremy Buhler, Roger D. Cha...
WS
2010
ACM
15 years 2 months ago
Semantic web enabled software analysis
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...
Jonas Tappolet, Christoph Kiefer, Abraham Bernstei...
BMCBI
2006
133views more  BMCBI 2006»
15 years 4 months ago
Web-based analysis of the mouse transcriptome using Genevestigator
Background: Gene function analysis often requires a complex and laborious sequence of laboratory and computer-based experiments. Choosing an effective experimental design generall...
Oliver Laule, Matthias Hirsch-Hoffmann, Tomas Hruz...