7988 search results - page 1083 / 1598 » A Useful Undecidable Theory |
188
click to vote
OTM
2005
Springer
16 years 20 days ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
174
click to vote
PKC
2005
Springer
16 years 20 days ago
2005
Springer
We present an attack on DSA smart-cards which combines physical fault injection and lattice reduction techniques. This seems to be the first (publicly reported) physical experimen...
220
click to vote
PPSWR
2005
Springer
16 years 20 days ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
188
click to vote
COMPGEOM
2004
ACM
16 years 19 days ago
2004
ACM
Let P be a set of n points in general position in the plane. Let Xk(P ) denote the number of empty convex k-gons determined by P. We derive, using elementary proof techniques, sev...
193
click to vote
DOCENG
2004
ACM
16 years 19 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...