4340 search results - page 161 / 868 » Formal Methods and Cryptography |
122
Voted
ICSE
1993
IEEE-ACM
15 years 8 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
129
Voted
ISIM
2007
15 years 5 months ago
2007
One of the main problems connected with the formal concept analysis and lattice construction is the high complexity of algorithms which plays a significant role when computing all ...
137
click to vote
CLA
2004
15 years 5 months ago
2004
Binary factor analysis (BFA, also known as Boolean Factor Analysis) is a nonhierarchical analysis of binary data, based on reduction of binary space dimension. It allows us to find...
132
click to vote
IJCAI
2001
15 years 5 months ago
2001
This paper describes a new method for visualizing complex information spaces as painted images. Scientific visualization converts data into pictures that allow viewers to "se...
121
click to vote
COLING
1996
15 years 5 months ago
1996
This paper presents a unified theory of verbal irony tbr developing a computational model of irony. The theory claims that an ironic utterance implicitly communicates the fact tha...