4460 search results - page 160 / 892 » Formal methods for interactive systems |
135
Voted
ICIP
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a data embedding method for image communication applications. Our goal is to implement novel multimedia applications such as multi-language captions, interactive progra...
146
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
148
click to vote
JISE
2007
15 years 3 months ago
2007
This paper presents an interactive query expansion method with association thesaurus, which is mined from the ‘selected web pages’ of users in the query logs. The ‘selected w...
130
click to vote
IJDE
2007
15 years 3 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
117
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...