91 search results - page 12 / 19 » Towards a General Argumentation System based on Answer-Set P... |
102
Voted
ICAC
2005
IEEE
15 years 5 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
111
click to vote
SIGCSE
2012
ACM
13 years 7 months ago
2012
ACM
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...
191
click to vote
POPL
2003
ACM
15 years 12 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
81
Voted
GCB
2007
Springer
15 years 5 months ago
2007
Springer
Biological systems have to react to environmental and/or developmental changes by adjusting their biochemical/cellular machinery on numerous levels. In many cases small molecules ...
101
click to vote
WWW
2007
ACM
16 years 8 days ago
2007
ACM
Many applications in analytical domains often have the need to "connect the dots" i.e., query about the structure of data. In bioinformatics for example, it is typical t...