7167 search results - page 1430 / 1434 » A Technique for Invariant Generation |
ASUNAM
2011
IEEE
13 years 9 months ago
2011
IEEE
—In this paper, we study the problem of evolutionary clustering of multi-typed objects in a heterogeneous bibliographic network. The traditional methods of homogeneous clustering...
179
click to vote
CCS
2011
ACM
13 years 9 months ago
2011
ACM
Paper forgery is among the leading causes of corruption in many developing regions [2]. In this paper, we introduce PaperSpeckle, a robust system that leverages the natural random...
136
click to vote
CPP
2011
13 years 9 months ago
2011
Parsing text to identify grammatical structure is a common task, especially in relation to programming languages and associated tools such as compilers. Parsers for context-free g...
130
click to vote
HUC
2011
Springer
13 years 9 months ago
2011
Springer
Interactive surfaces like diffuse illumination tabletops (DIT) identify and track objects using multiple techniques like shape and color recognition, fiducial markers, electronic...
126
click to vote
AOSD
2012
ACM
13 years 5 months ago
2012
ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...