17298 search results - page 193 / 3460 » Abstract computing machines |
128
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
115
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
90
Voted
NSDI
2004
15 years 5 months ago
2004
gence of Networking Abstractions and Techniques in TinyOS Philip Levis , Sam Madden , David Gay , Joseph Polastre , Robert Szewczyk , Alec Woo , Eric Brewer and David Culler EECS ...
178
Voted
AI
2011
Springer
14 years 10 months ago
2011
Springer
ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, Univers...
131
Voted
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we consider the possibility of obtaining a kernel machine that is sparse in feature space and smooth in output space. Smooth in output space implies that t...