Sciweavers

9507 search results - page 697 / 1902
» Time-based language models
Sort
View
AI
2009
Springer
16 years 2 months ago
Training Global Linear Models for Chinese Word Segmentation
This paper examines how one can obtain state of the art Chinese word segmentation using global linear models. We provide experimental comparisons that give a detailed road-map for ...
Dong Song, Anoop Sarkar
IFIP
2009
Springer
16 years 2 months ago
Specifying and Modelling Secure Channels in Strand Spaces
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
Allaa Kamil, Gavin Lowe
MODELS
2007
Springer
16 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
DATE
2005
IEEE
155views Hardware» more  DATE 2005»
16 years 1 months ago
RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori ...
SIGSOFT
2004
ACM
16 years 26 days ago
A type system for object models
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
Jonathan Edwards, Daniel Jackson, Emina Torlak