1750 search results - page 257 / 350 » Formal multiple-bernoulli models for language modeling |
157
click to vote
ENTCS
2006
15 years 6 months ago
2006
Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whe...
182
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
143
click to vote
FM
2009
Springer
16 years 18 days ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
154
click to vote
ATAL
2007
Springer
16 years 6 days ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
134
Voted
CAV
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...