1006 search results - page 107 / 202 » Generating XML structure using examples and constraints |
123
click to vote
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
100
click to vote
CSREAESA
2004
15 years 2 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
138
click to vote
ILP
1999
Springer
15 years 5 months ago
1999
Springer
Most real-world data is heterogeneous and richly interconnected. Examples include the Web, hypertext, bibliometric data and social networks. In contrast, most statistical learning...
117
Voted
AAAI
1994
15 years 2 months ago
1994
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
113
click to vote
MKM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...