4352 search results - page 175 / 871 » A Representation Theorem and Applications |
170
click to vote
GRAPHITE
2004
ACM
16 years 15 days ago
2004
ACM
Ruled surface design and its applications are widely used in CAGD (Computer Aid Geometric Design) and industrial areas. In this paper, the cone is a particular ruled surface, whic...
147
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
—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...
237
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
184
click to vote
DLOG
2003
15 years 8 months ago
2003
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
164
click to vote
JAIR
2006
15 years 7 months ago
2006
Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent c...