8 search results - page 1 / 2 » Towards an Implicit Characterization of NCk |
CSL
2006
Springer
13 years 11 months ago
2006
Springer
We define a hierarchy of term systems Tk by means of restrictions of the recursion schema. We essentially use a pointer technique together with tiering. We prove Tk NCk Tk+1 , for ...
FM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
ASes in inter-domain routing receive little information about the quality of the routes they receive. This lack of information can lead to inefficient and even incorrect routing....
HPCC
2007
Springer
14 years 1 months ago
2007
Springer
Many new Partitioned Global Address Space (PGAS) programming languages have recently emerged and are becoming ubiquitously available on nearly all modern parallel architectures. PG...
LREC
2010
13 years 8 months ago
2010
We present our ongoing work on language technology-based e-science in the humanities, social sciences and education, with a focus on text-based research in the historical sciences...