2519 search results - page 99 / 504 » Reasoning with Textual Cases |
127
click to vote
MSR
2010
ACM
15 years 9 months ago
2010
ACM
—Free and open source software strongly promotes the reuse of source code. Some open source Java components/libraries are distributed as jar archives only containing the bytecode...
179
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
176
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
Rank correlation measures are known for their resilience to perturbations in numeric values and are widely used in many evaluation metrics. Such ordinal measures have rarely been ...
159
click to vote
EWCBR
2008
Springer
15 years 6 months ago
2008
Springer
To meet time constraints, a CBR system must control the time spent searching in the case base for a solution. In this paper, we presents the results of a case study comparing the p...
123
click to vote
CGF
2002
15 years 4 months ago
2002
The earliest Web browsers focussed on the display of textual information. When graphics were added, essentially only image graphics and image file formats were supported. For a si...