1791 search results - page 73 / 359 » Two Types of Multiple-Conclusion Systems |
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— Design trade-offs between estimation performance, processing delay and communication cost for a sensor scheduling problem is discussed. We consider a heterogeneous sens...
BIRTHDAY
2003
Springer
14 years 29 days ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
Generative and evaluative approaches are two different ways of diagnosing students’ input that have been realized in a number of intelligent tutoring systems. We describe how Ac...
NAACL
2010
13 years 5 months ago
2010
This paper investigates the impact of misspelled words in statistical machine translation and proposes an extension of the translation engine for handling misspellings. The enhanc...