1016 search results - page 146 / 204 » Automatic Analysis of Programming Assignments |
133
Voted
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
— When an adaptive software component is employed to select the best-performing implementation for a communication operation at runtime, the correctness of the decision taken str...
137
Voted
ACAL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper illustrates how the Quadratic Assignment Problem (QAP) is used as a mathematical model that helps to produce a visualization of microarray data, based on the r...
102
click to vote
MM
2005
ACM
15 years 8 months ago
2005
ACM
Nowadays, images have become widely available on the World Wide Web (WWW). It’s essential to develop effective ways for managing and retrieving such abundant images. Advantageou...
116
Voted
ICADL
2003
Springer
15 years 7 months ago
2003
Springer
There is an increasing need of development of automatic tools to annotate images for effective image searching in digital libraries. In this paper, we present a novel probabilistic...
122
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...