2778 search results - page 509 / 556 » Limit complexities revisited |
130
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
162
click to vote
FOCS
2004
IEEE
15 years 9 months ago
2004
IEEE
The need to deal with massive data sets in many practical applications has led to a growing interest in computational models appropriate for large inputs. The most important quali...
166
click to vote
EMISA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
173
click to vote
ERCIMDL
2006
Springer
15 years 9 months ago
2006
Springer
In this demo proposal, we describe our prototype application, SIERRA, which combines text-based and content-based image retrieval and allows users to link together image content of...
178
click to vote
CBMS
2001
IEEE
15 years 9 months ago
2001
IEEE
Knowledge discovery and data correlation require a unified approach to basic data management. However, achieving such an approach is nearly impossible with hundreds of disparate d...