6608 search results - page 1208 / 1322 » On the Completeness of Model Checking |
114
click to vote
MP
2010
15 years 2 months ago
2010
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...
136
click to vote
PVLDB
2010
15 years 2 months ago
2010
In this paper, we present a new record linkage approach that uses entity behavior to decide if potentially different entities are in fact the same. An entity’s behavior is extra...
120
click to vote
PVLDB
2010
15 years 2 months ago
2010
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
139
click to vote
SOCO
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
128
click to vote
TOMS
2010
15 years 2 months ago
2010
The Tutte polynomial of a graph, also known as the partition function of the q-state Potts model, is a 2-variable polynomial graph invariant of considerable importance in both comb...