6800 search results - page 1016 / 1360 » Testing with Functions as Specifications |
171
click to vote
JAIR
2006
15 years 6 months ago
2006
We characterize the search landscape of random instances of the job shop scheduling problem (JSP). Specifically, we investigate how the expected values of (1) backbone size, (2) d...
164
click to vote
JSS
2008
15 years 6 months ago
2008
The Web has become a ubiquitous tool for distributing knowledge and information and for conducting businesses. To exploit the huge potential of the Web as a global information rep...
173
click to vote
JEC
2006
15 years 6 months ago
2006
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...
177
click to vote
JIIS
2006
15 years 6 months ago
2006
Abstract In recent years, researchers have begun to study inductive databases, a new generation of databases for leveraging decision support applications. In this context, the user...
165
click to vote
ENGL
2007
15 years 6 months ago
2007
—This paper presents a novel hybrid method for content based visual information retrieval (CBIR) that combines shape analysis of objects in image with their automatic indexing by...