922 search results - page 167 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
122
Voted
ADG
2006
Springer
15 years 5 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
111
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...
113
Voted
ESORICS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
126
click to vote
COLT
2006
Springer
15 years 5 months ago
2006
Springer
We consider online learning in repeated decision problems, within the framework of a repeated game against an arbitrary opponent. For repeated matrix games, well known results esta...
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...