Sciweavers

18209 search results - page 326 / 3642
» Some Remarks on the Paper
Sort
View
FCA
2005
Springer
135views Formal Methods» more  FCA 2005»
16 years 9 days ago
Concept Lattices in Software Analysis
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
Gregor Snelting
ICAPR
2005
Springer
16 years 8 days ago
Attention Based Facial Symmetry Detection
Symmetry is a fundamental structure that is found to some extent in all images. It is thought to be an important factor in the human visual system for obtaining understanding and e...
Fred Stentiford
INEX
2005
Springer
16 years 8 days ago
From Natural Language to NEXI, an Interface for INEX 2005 Queries
Offering the possibility to query any XML retrieval system in natural language would be very helpful to a lot of users. In 2005, INEX proposed a framework to partipants that wante...
Xavier Tannier
IPTPS
2005
Springer
16 years 8 days ago
High Availability in DHTs: Erasure Coding vs. Replication
High availability in peer-to-peer DHTs requires data redundancy. This paper compares two popular redundancy schemes: replication and erasure coding. Unlike previous comparisons, w...
Rodrigo Rodrigues, Barbara Liskov
LPNMR
2005
Springer
16 years 8 days ago
Nonmonotonic Reasoning in FLORA-2
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
Michael Kifer