581 search results - page 32 / 117 » An Automata Model for Trees with Ordered Data Values |
180
click to vote
LICS
2007
IEEE
16 years 9 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
197
click to vote
JMLR
2010
15 years 24 days ago
2010
Inducing a grammar from text has proven to be a notoriously challenging learning task despite decades of research. The primary reason for its difficulty is that in order to induce...
174
click to vote
ICFEM
2009
Springer
16 years 17 days ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
254
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
Linguistic research and natural language processing employ large repositories of ordered trees. XML, a standard ordered tree model, and XPath, its associated language, are natural...
152
click to vote
AAAI
2008
15 years 8 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...