6800 search results - page 897 / 1360 » Testing with Functions as Specifications |
161
click to vote
JCDL
2004
ACM
16 years 8 days ago
2004
ACM
Information retrieval (IR) functions serve a critical role in many digital library systems. There are numerous mature IR algorithms that have been implemented and it will be a was...
177
click to vote
EDBTW
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The Web has been rapidly “deepened” with the prevalence of databases online. On this “deep Web,” numerous sources are structured, providing schema-rich data– Th...
171
click to vote
ICMI
2004
Springer
16 years 6 days ago
2004
Springer
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...
188
click to vote
PPSN
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present an island model that uses different representations in each island. The model transforms individuals from one representation to another during migrations. We ...
298
click to vote
ASIAMS
2009
IEEE
15 years 12 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...