1209 search results - page 160 / 242 » Universal Algebra and Computer Science |
109
click to vote
JGAA
2006
15 years 2 months ago
2006
Let G = (V, E) be a graph with n vertices and let P be a set of n points in the plane. We show that deciding whether there is a planar straight-line embedding of G such that the v...
93
Voted
JSS
2007
15 years 2 months ago
2007
Objective: Comparison of program defects caused by programmer pairs and solo developers. Design: Analysis of programs developed during two counter balanced experiments. Setting: P...
TOIT
2002
15 years 2 months ago
2002
xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet technol...
105
Voted
STACS
2009
Springer
15 years 9 months ago
2009
Springer
We study data structures in the presence of adversarial noise. We want to encode a given object in a succinct data structure that enables us to efficiently answer specific queries...
140
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...