Sciweavers

446 search results - page 49 / 90
» Formal concept analysis based on hierarchical class analysis
Sort
View
KR
2004
Springer
15 years 4 months ago
GlossOnt: A Concept-focused Ontology Building Tool
The demand for ontologies is rapidly growing especially due to developments in knowledge management, E-commerce and the Semantic Web. Building an ontology and a background knowled...
Youngja Park
ICMCS
2010
IEEE
231views Multimedia» more  ICMCS 2010»
14 years 8 months ago
Event based news video people classification and ranking using multimodality features
Existing research on news video analysis mainly concentrates on structure analysis, semantic concept detection, annotation and search. However, little work has been contributed to...
Chunxi Liu, Qingming Huang, Shuqiang Jiang, Changs...
PLDI
2000
ACM
15 years 3 months ago
Type-based race detection for Java
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
Cormac Flanagan, Stephen N. Freund
BMCBI
2010
178views more  BMCBI 2010»
14 years 11 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling
CORR
1999
Springer
222views Education» more  CORR 1999»
14 years 10 months ago
Analysis of approximate nearest neighbor searching with clustered point sets
Abstract. Nearest neighbor searching is a fundamental computational problem. A set of n data points is given in real d-dimensional space, and the problem is to preprocess these poi...
Songrit Maneewongvatana, David M. Mount