Sciweavers

923 search results - page 83 / 185
» On a generalization of Stickelberger's Theorem
Sort
View
JCDL
2006
ACM
137views Education» more  JCDL 2006»
16 years 7 days ago
Exploring digital libraries: integrating browsing, searching, and visualization
Exploring services for digital libraries (DLs) include two major paradigms, browsing and searching, as well as other services such as clustering and visualization. In this paper, ...
Rao Shen, Naga Srinivas Vemuri, Weiguo Fan, Ricard...
PODS
2010
ACM
170views Database» more  PODS 2010»
15 years 11 months ago
A learning algorithm for top-down XML transformations
A generalization from string to trees and from languages to translations is given of the classical result that any regular language can be learned from examples: it is shown that ...
Aurélien Lemay, Sebastian Maneth, Joachim N...
KR
1998
Springer
15 years 10 months ago
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
Gerhard Lakemeyer, Hector J. Levesque
CSFW
2010
IEEE
15 years 10 months ago
A Machine-Checked Formalization of Sigma-Protocols
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
Gilles Barthe, Daniel Hedin, Santiago Zanella B&ea...
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
15 years 9 months ago
Stochastic control over finite capacity channels: Causality, feedback and uncertainty
Abstract-- Optimal communication/control analysis and design of dynamical controlled systems, when there are finite capacity communication constraints often involve information and...
Charalambos D. Charalambous, Christos K. Kourtella...