Sciweavers

815 search results - page 96 / 163
» Applications of Finite-State Transducers in Natural Language...
Sort
View
FM
2009
Springer
124views Formal Methods» more  FM 2009»
14 years 2 months ago
Reasoning about Memory Layouts
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...
Holger Gast
MODELS
2007
Springer
14 years 1 months ago
Model-Based Run-Time Error Detection
We discuss the use of models for run-time error detection to improve user-perceived reliability of consumer electronics products. The aim is to apply the approach in industrial pro...
Jozef Hooman, Teun Hendriks
IAT
2006
IEEE
14 years 1 months ago
Ordinary User Oriented Model Construction for Assisting Conversational Agents
In this paper, we defend the idea of integrating the actual cognitive features of novice users in the creation process of the applications to significantly increase the quality of...
David Leray, Jean-Paul Sansonnet
FDL
2005
IEEE
14 years 1 months ago
A VHDL-AMS based Time-Domain Skin Depth Model
This contribution presents a time-domain model of the skin depth effect in a lossy transmission line. The model was developed and implemented in VHDL-AMS for a twowire edge coupl...
M. Burford, Tom J. Kazmierski
LREC
2010
154views Education» more  LREC 2010»
13 years 9 months ago
Acquiring Reliable Predicate-argument Structures from Raw Corpora for Case Frame Compilation
We present a method for acquiring reliable predicate-argument structures from raw corpora for automatic compilation of case frames. Such lexicon compilation requires highly reliab...
Daisuke Kawahara, Sadao Kurohashi