116 search results - page 9 / 24 » TomML: A Rule Language for Structured Data |
AINA
2003
IEEE
13 years 11 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...
ICLP
2009
Springer
14 years 8 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...
FLAIRS
2007
13 years 10 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...
ITCC
2005
IEEE
14 years 1 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...
ICFP
2010
ACM
13 years 9 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...