1302 search results - page 97 / 261 » Soundness in the Public-Key Model |
159
click to vote
MLCW
2005
Springer
15 years 12 months ago
2005
Springer
Semantic entailment is the problem of determining if the meaning of a given sentence entails that of another. This is a fundamental problem in natural language understanding that ...
161
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
168
click to vote
BPM
2003
Springer
15 years 10 months ago
2003
Springer
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
171
click to vote
ISMIR
2005
Springer
15 years 12 months ago
2005
Springer
We observed that for multimedia data – especially music - collaborative similarity measures perform much better than similarity measures derived from content-based sound feature...
192
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
Realistic acoustic modeling is essential for spatializing sound in distributed virtual environments where multiple networked users move around and interact visually and aurally in...