2878 search results - page 279 / 576 » Model Checking FTA |
133
click to vote
LREC
2008
15 years 6 months ago
2008
This paper presents a context sensitive spell checking system that uses mixed trigram models, and introduces a new empirically grounded method for building confusion sets. The pro...
128
click to vote
ENTCS
2006
15 years 4 months ago
2006
We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...
111
Voted
FUIN
2006
15 years 4 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
192
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
151
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Efficient communication modeling is a critical task in SoC design and exploration. In particular, fast and accurate communication is needed to predict the performance of a system....