702 search results - page 81 / 141 » Identifying Graph Automorphisms Using Determining Sets |
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
WEBI
2007
Springer
15 years 6 months ago
2007
Springer
Social networking, distributed problem solving and human computation have gained high visibility. Wikipedia is a well established service that incorporates aspects of these three ...
101
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: A major goal of molecular biology is determining the mechanisms that control the transcription of genes. Motif Enrichment Analysis (MEA) seeks to determine which DNA-b...
ISWC
2003
IEEE
15 years 5 months ago
2003
IEEE
We present a novel, inexpensive, coarse tracking system that determines a person’s approximate 2D location and 1D head orientation in an indoor environment. While this coarse tr...
109
click to vote
CICLING
2011
Springer
14 years 3 months ago
2011
Springer
In recent years, extraction of temporal relations for events that express sentiments has drawn great attention of the Natural Language Processing (NLP) research communities. In thi...