3468 search results - page 464 / 694 » An open logical framework |
158
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...
119
click to vote
AAAI
2008
15 years 6 months ago
2008
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
123
click to vote
EDCC
2008
Springer
15 years 5 months ago
2008
Springer
Faults attacks are a powerful tool to break some implementations of robust cryptographic algorithms such as AES [8] and DES [3]. Various methods of faults attack on cryptographic ...
118
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
With the emergence of wireless sensor networks, the issues of event recognition and processing have been partially shifted into the embedded domain. New processing capabilities on...
136
click to vote
LREC
2010
15 years 5 months ago
2010
We present CAVaT, a tool that performs Corpus Analysis and Validation for TimeML. CAVaT is an open source, modular checking utility for statistical analysis of features specific t...