Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,238,890 papers from all fields of science
Search
Sign In
Create Free Account
Well-formed document
Known as:
Well-formed
, Well-formed XML document
A well-formed document in XML is a document that adheres to the syntax rules specified by the XML 1.0 specification in that it must satisfy both…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
HTML
Tag (metadata)
Well-formed element
XHTML+RDFa
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation
P. Paulweber
,
Emmanuel Pescosta
,
Uwe Zdun
International Conference on Abstract State…
2018
Corpus ID: 46887245
The Abstract State Machine (ASM) theory is a well-known formal method, which can be used to specify arbitrary algorithms…
Expand
2013
2013
Automatic Tagging of Functional-Goals for Goal-Driven Semantic Service Discovery
Yuchul Jung
,
Yoon-Tea cho
,
Yoo-mi Park
,
Taedong Lee
IEEE Seventh International Conference on Semantic…
2013
Corpus ID: 6319720
With the growing number of Web services available on the Web, finding services that match user's query becomes more difficult. To…
Expand
2007
2007
Person-hierarchy effects without a person-hierarchy
Martina Wiltschko
2007
Corpus ID: 124431686
It is a pervasive property of natural languages that they display agreement between predicates and their arguments, henceforth…
Expand
2006
2006
Type inference for JavaScript
Christopher Anderson
2006
Corpus ID: 8441681
Object-oriented scripting languages like JavaScript are popular, in part because of their dynamic features. These include the…
Expand
2006
2006
Dependency Tree Semantics
L. Lesmo
,
Livio Robaldo
International Syposium on Methodologies for…
2006
Corpus ID: 12923499
This paper presents Dependency Tree Semantics (DTS), an underspecified logic for representing quantifier scope ambiguities. DTS…
Expand
2004
2004
Language generation and speech synthesis in dialogues for language learning
Julia Zhang
2004
Corpus ID: 61829558
Since 1989, the Spoken Language Systems group has developed an array of applications that allow users to interact with computers…
Expand
2002
2002
Automatic modeling and validation of pipeline specifications driven by an architecture description language [SoC]
P. Mishra
,
H. Tomiyama
,
Ashok Halambi
,
P. Grun
,
N. Dutt
,
A. Nicolau
Proceedings of ASP-DAC/VLSI Design . 7th Asia and…
2002
Corpus ID: 1456655
Verification is one of the most complex and expensive tasks in the current systems-on-chip (SOC) design process. Many existing…
Expand
Review
2000
Review
2000
Book review: Term Rewriting and all that by Franz Baader and Tobias Nipkow (Cambridge Univ . Press, 313 pages)
P. Narendran
SIGA
2000
Corpus ID: 40302913
3. Beyond the method of bounded differences by Anant P Godbole and Pawel Hitczenko. 4. Distinguishing and reconstructing…
Expand
1998
1998
Form in immersion classroom discourse: In or out of focus?
R. Lyster
1998
Corpus ID: 55092863
Qualitative analyses of teacher-student interaction recorded during subject-matter lessons in grade 4 French immersion classrooms…
Expand
1992
1992
A logical model of competence and performance in the human sentence processor
M. Crocker
1992
Corpus ID: 5559488
This work is concerned with the way in which principled theories of syntax and modular theories of mind may participate in an…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE