116 search results - page 9 / 24 » TomML: A Rule Language for Structured Data |
153
Voted
AINA
2003
IEEE
15 years 8 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
224
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
103
Voted
FLAIRS
2007
15 years 7 months ago
2007
The paper describes a method of dividing complex sentences into segments, easily detectable and linguistically motivated units, which may provide a basis for further processing of...
150
Voted
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
These days, billions of Web pages are created with HTML or other markup languages. They only have a few uniform structures and contain various authoring styles compared to traditi...
145
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...