3954 search results - page 672 / 791 » Image-based Model Completion |
123
Voted
MFCS
2010
Springer
15 years 29 days ago
2010
Springer
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...
102
click to vote
MP
2010
15 years 28 days 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...
117
click to vote
PVLDB
2010
15 years 28 days 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...
102
Voted
PVLDB
2010
15 years 28 days 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...
126
click to vote
SOCO
2010
Springer
15 years 27 days 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...