3233 search results - page 419 / 647 » Rule Modeling and Markup |
222
click to vote
CALCO
2011
Springer
14 years 6 months ago
2011
Springer
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pr...
202
click to vote
ACL
2012
13 years 9 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ...
157
click to vote
CRYPTO
2005
Springer
16 years 5 days ago
2005
Springer
The Full-Domain Hash (FDH) signature scheme [3] forms one the most basic usages of random oracles. It works with a family F of trapdoor permutations (TDP), where the signature of m...
169
click to vote
SI3D
1999
ACM
15 years 11 months ago
1999
ACM
An explicit spline representation of smooth free-form surfaces is combined with a hierarchy of meshes to form the basis of an interactive sculpting environment. The environment of...
195
click to vote
SDM
2003
SIAM
15 years 8 months ago
2003
SIAM
The singular value decomposition (SVD) is fundamental to many data modeling/mining algorithms, but SVD algorithms typically have quadratic complexity and require random access to ...