6368 search results - page 232 / 1274 » Modeling Problem Transformations based on Data Complexity |
182
click to vote
IICAI
2007
15 years 8 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
158
click to vote
SIGMOD
2001
ACM
16 years 7 months ago
2001
ACM
In this paper we present a method for automatically segmenting unformatted text records into structured elements. Several useful data sources today are human-generated as continuo...
201
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The accumulation of high-throughput data greatly promotes computational investigation of gene function in the context of complex biological systems. However, a biologi...
192
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
237
click to vote
ER
1995
Springer
15 years 10 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...