1227 search results - page 82 / 246 » Symbolic data analysis tools for recommendation systems |
153
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Colonoscopy is an important screening tool for colorectal cancer. During a colonoscopic procedure, a tiny video camera at the tip of the endoscope generates a video signal of the ...
235
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
147
click to vote
ISMB
1997
15 years 7 months ago
1997
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
213
click to vote
DATE
2007
IEEE
16 years 21 days ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
180
click to vote
IPPS
2007
IEEE
16 years 20 days ago
2007
IEEE
A challenge in data analysis and visualization is to build new-generation software tools and systems to truly accelerate scientific discoveries. The recent focus of Princeton’s ...