11808 search results - page 156 / 2362 » Isometries and Computability Structures |
138
click to vote
KSEM
2010
Springer
15 years 2 months ago
2010
Springer
One criterion for the well-formedness of ontologies is that their hierarchical structure forms a lattice. Formal Concept Analysis (FCA) has been used as a technique for assessing ...
118
click to vote
HCI
2009
15 years 2 months ago
2009
In recent years podcasting has been in great demand as a recreation and a learning tool. In this paper we describe the design and implementation of a system for automatically conve...
132
Voted
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Wikipedia is an online encyclopedia which has undergone tremendous growth. However, this same growth has made it difficult to characterize its content and coverage. In this paper ...
136
click to vote
JLP
2006
15 years 4 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
176
click to vote
ICCS
2009
Springer
15 years 2 months ago
2009
Springer
Protein loop structure modeling is regarded as a mini protein folding problem with significant scientific importance. Efficiently sampling the loop conformation space is a key step...