2488 search results - page 308 / 498 » An improvement in formal verification |
114
Voted
ICFCA
2009
Springer
15 years 8 months ago
2009
Springer
Formal concept analysis (FCA) is increasingly applied to data mining problems, essentially as a formal framework for mining reduced representations (bases) of target pattern famili...
106
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
109
click to vote
TAPSOFT
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
127
click to vote
ESORICS
2006
Springer
15 years 5 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
111
click to vote
FTRTFT
2000
Springer
15 years 5 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...