1021 search results - page 15 / 205 » Pure Subtype Systems |
ELPUB
2007
ACM
13 years 11 months ago
2007
ACM
Jointly developed over 5 years by Atira A/S and a number of university libraries, the commercial repository system PURE is a tool in the research administration and dissemination ...
DIS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— Building a basketball robot is a recently launched project at the Institute of Automatic Control Engineering (LSR) for investigating fast manipulation with non-negligible dynam...
CEFP
2005
Springer
14 years 1 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
LATA
2010
Springer
13 years 6 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...