5630 search results - page 280 / 1126 » Computability in Specification |
169
click to vote
ECCC
2006
15 years 6 months ago
2006
We give the first representation-independent hardness results for PAC learning intersections of halfspaces, a central concept class in computational learning theory. Our hardness ...
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
177
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- We describe an implementation based on the WSNotification (WSN) specification for Publish/Subscribe communication which provides a distributed, content-based notificatio...
143
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
We address in this paper the problem of jointly scheduling hard periodic tasks and soft aperiodic events using the Real-Time Specification for Java (RTSJ). We present the programm...
210
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
This study focuses on the analysis and evaluation of agentoriented methodologies. Different studies have been proposed for the evaluation of agent-oriented methodologies adopting ...