Sciweavers

4296 search results - page 602 / 860
» Modeling Information Sources for Information Integration
Sort
View
COMPLIFE
2005
Springer
16 years 2 days ago
Protein Annotation by Secondary Structure Based Alignments (PASSTA)
Abstract. Most software tools in homology recognition on proteins answer only a few specific questions, often leaving not much room for the interpretation of the results. We devel...
Constantin Bannert, Jens Stoye
CP
2005
Springer
16 years 2 days ago
Using SAT in QBF
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
Horst Samulowitz, Fahiem Bacchus
SPRINGSIM
2007
15 years 7 months ago
Bringing knowledge to network defense
Security managers must scan through multiple continuous data streams issuing from diverse sources in an effort to defend computer networks from attack. However, manual aggregation...
Leigh Flagg, Gordon Streeter, Andrew Potter
CG
2002
Springer
15 years 6 months ago
AWE: aviation weather data visualization environment
Weather is one of the major causes of aviation accidents. General aviation (GA) flights account for 92% of all the aviation accidents. In spite of all the official and unofficial ...
Lilly Spirkovska, Suresh K. Lodha
RAS
2008
139views more  RAS 2008»
15 years 6 months ago
Unsupervised identification of useful visual landmarks using multiple segmentations and top-down feedback
In this paper, we tackle the problem of unsupervised selection and posterior recognition of visual landmarks in images sequences acquired by an indoor mobile robot. This is a high...
Pablo Espinace, Daniel Langdon, Alvaro Soto