5550 search results - page 924 / 1110 » Different Approaches to Proof Systems |
199
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
176
click to vote
SAC
2004
ACM
16 years 2 days ago
2004
ACM
The proliferation of IT and its consequent dispersion is an enterprise reality, however, most organizations do not have adequate tools and/or methodologies that enable the managem...
153
click to vote
GROUP
2003
ACM
15 years 12 months ago
2003
ACM
In order to support co-located collaboration, many researchers are now investigating how to effectively augment tabletops with electronic displays. As far back as 1988, orientatio...
169
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
199
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
While much of the data on the web is unstructured in nature, there is also a significant amount of embedded structured data, such as product information on e-commerce sites or sto...