490 search results - page 59 / 98 » Data generation using declarative constraints |
TMC
2010
13 years 6 months ago
2010
—Third Generation (3G) cellular networks take advantage of time-varying and location-dependent channel conditions of mobile users to provide broadband services. Under fairness an...
BMCBI
2010
13 years 7 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
KBSE
1998
IEEE
13 years 11 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
IJCAI
2001
13 years 9 months ago
2001
A tight integration of Mitchell's version space algorithm with Agrawal et al.'s Apriori algorithm is presented. The algorithm can be used to generate patterns that satis...