7213 search results - page 989 / 1443 » Automated model grouping |
192
click to vote
ICMCS
2005
IEEE
16 years 13 days ago
2005
IEEE
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...
212
Voted
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
182
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
177
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
168
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...